Re: [mkgmap-dev] AllElements patch