Richtig. Und hier ist das Github issue dazu: https://github.com/openstreetmap/openstreetmap-website/issues/1213
Diese Zeichen kommen nie bei Overpass API an, da hilft auch kein regulärer Ausdruck.