Linting the open map of the world

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