mirror of
https://github.com/FoggedLens/id-tagging-schema.git
synced 2026-02-15 02:02:50 +00:00
Following https://github.com/openstreetmap/id-tagging-schema/issues/1188#issuecomment-2038817783 to remove the common misstagging as `playground:theme=playground` due to the prominent autosuggest.