Thanks for the heads-up and the fix! Cheers

Nein, glaube nicht - muss sich um ein Versehen handeln?
Die Änderung wurde m.E. in
changeset/58819977
vorgenommen.