Re: [mkgmap-dev] [PATCH v1] Further reduction of the builtin-tag-list