text: Okay, marked it as demolished in https://www.openstreetmap.org/changeset/73043711
  
  It should now not appear on rendered maps, and definitely not be used for routing, but will still be there in data in case someone wonders why there is no bridge and we can reuse it if it is ever rebuilt.
  
  Thanks for the suggestion/note!