JOSM reaches version 10000 in its 10th year

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