Re: [mkgmap-dev] option --show-profiles and DEM