Hello Alex,
Am Thu, Dec 25, 2025 at 02:29:08PM +0100 schrieb Alejandro Colomar:

but please revise in case there's still anything that needs to be fixed.

Apologies, I missed to filter this out. It is fixed.

Greetings

         Helge

-- 
      Dr. Helge Kreutzmann                     debian@helgefjell.de
           Dipl.-Phys.                   http://www.helgefjell.de/debian.php
        64bit GNU powered                     gpg signed mail preferred
           Help keep free software "libre": http://www.ffii.de/