jpgis-dem (pypi): Convert JPGIS .xml DEM files to geotiffs.
Keywords: elevation