Harry Wood
I think we had them visible for while the latest bing update certainly includes them in glorious detail so I've updated them https://www.openstreetmap.org/changeset/88846228  (Although feel like we're working with a big offset here, which... who knows if it's right?)