[Tei-council] Debian 9 -> Debian 10