Thanks! I was surprised that it didn't show up in StreetComplete's things and places layers. Given how good the OSM mapping is in Copenhagen compared to London, I'm much less surprised that you'd mapped it 9 years ago.