> Die hier als dudenkonform bezeichnete Variante ist aktuell nicht > mehr dudenkonform, oder?
Ja, mittlerweile ist der Duden dem gefolgt, was damals schon gängige typografische Praxis war.
Gruß Julian