Hello Alejandro,
Am Sun, Nov 17, 2024 at 04:00:08PM +0100 schrieb Alejandro Colomar:

On Sun, Nov 17, 2024 at 10:46:25AM GMT, Helge Kreutzmann wrote:
That was fixed in

	commit 346bb648cc963bd9f2c8b16d984cb49030faa05b
	Author: Alejandro Colomar [off-list ref]
	Date:   Tue Jul 9 12:00:18 2024 +0200

…

If there's anything still bad in the page, please let me know.  I hope
it's fixed in the master branch.

Ok, this has not hit any distro yet, good that 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/