Re: [mkgmap-dev] Commit r4103: improve description of DEM options