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