Yeah I asked on the original changeset (https://www.openstreetmap.org/changeset/159701793) which marked it as disused, but didn’t get an answer.

Maybe leave it until the next issue of the bus timetables and see whether the stop gets removed?

Or see if there’s anything obvious in local media about what’s happening.