Download missing tiles as GeoJSON or GPX.
This feature was developed in memory of Natenom who unfortunately didn't live to enjoy it for more tile exploring.