On Thu, 03 Dec 2020 22:40:59 +0100 "Matteo F. Vescovi" <mfv@debian.org> wrote: > Hi! > >> [...] > Exactly. Closing, in the meanwhile. > > Cheers. > > > -- > Matteo F. Vescovi || Debian Developer > GnuPG KeyID: 4096R/0x8062398983B2CF7A Hi, I ended up reinstalling Debian from the ground up again, but the bug still persists without the packages pointed out above. Should I open a new bug report? Regards, Will