On Mon, 7 Dec 2020 19:59:42 +0100 Eugen Dedu <eugen.dedu@univ-fcomte.fr> wrote: > It is a known problem, see > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=971734 and > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=969174. Thank you very much! I had tried searching, but I didn't come across these. I sent in my report as an addition to #969174. > Eugen Celejar