See comments on https://www.openstreetmap.org/changeset/135974161 .
If anyone wishes to comment publicly, please do so on that changeset. If anyone wants to comment privately, please do so by emailing data@openstreetmap.org with a subject of "[Ticket#2023050810000254] changeset 135974161".