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

Here's the thing we talked about earlier. I'm too tired to write about it now but the code should work well enough for people to evaluate. The option file blurb tells you how to use it. Feedback, etc. Mark