Re: [mkgmap-dev] [PATCH v1] Thin out builtin-tag-list