>>>>> On Tue, 13 Jun 2023 14:27:34 +0200, Cyril Brulebois <kibi@debian.org> said: > Probably best to finally drop it, to avoid wasting more brain time on > suite updates (for that particular file)? Yes, please drop it. -- viele Grüße Thomas