Re: [mkgmap-dev] DEM and "holes"