On Wed, 21 Oct 2020 at 18:40, <tomas@tuxteam.de> wrote: > Thanks a lot for your detailed post-mortem. You made the world > a bit nicer :) You helped, actually :) I made use of the bug search methods suggested previously, including yours: https://lists.debian.org/debian-user/2020/06/msg00962.html