Re: [mkgmap-dev] PATCH reduce index size