Thanks for the NSR link! I've added a disused:highway=bus_stop at https://www.openstreetmap.org/node/12670256481 (using a https://wiki.openstreetmap.org/wiki/Lifecycle_prefix ) with the respective ref:nsrq to prevent further confusion. If it gets used in the future, this can then be changed on the map.