Re: [mkgmap-dev] [PATCH v1] add --delete-tags-file option