That's great and wasn't clear at all from the article. The engineering challenge behind that is very much worth a post on its own. Must've been no small feat!
Paul has written a blog post or two on the subject https://www.openstreetmap.org/user/pnorman/diary