Thanks, I've moved it there, and will mark this resolved now. Thanks for the enjoyable correspondence!

(And by the by, if you're passing that way again you could see about resolving the car park note at AMG: https://www.openstreetmap.org/note/3825574 )