Ja, das wäre noch besser. Deswegen gibt es https://github.com/openstreetmap/id-tagging-schema/issues/835

Du hast doch oben geschrieben, dass du das Ding gelöscht hast. Wieso ist es dann jetzt noch da?