Linting the open map of the world

https://api.openstreetmap.org/user/Rub21/diary/38606