JOSM reaches version 10000 in its 10th year

https://api.openstreetmap.org/user/josmeditor/diary/38165