On Fri, 2021-07-02 at 16:31 +0200, Mattia Rizzolo wrote: > The full bug: https://bugs.debian.org/714726 Ah ... thanks for the pointer :-) Cheers, Chris.