Re: [mkgmap-dev] Deletion of unneeded hgt files