Hi Scott, hi Andreas, thanks for your answers.
On Tue, 13 Oct 2020, Scott Talbert wrote: > better discussed on an Ubuntu mailing list, rather than Debian. I have sent an email to ubuntu-devel with detailed explanations. I hoped for some contact here of a Debian *and* Ubuntu developer with experience in these kinds of actions. Best Norbert -- PREINING Norbert https://www.preining.info Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13