@kernpanik@chaos.social well, it's badly tagged: https://www.openstreetmap.org/node/5325675654 I'll fix it tomorrow, if you don't.