Re: [mkgmap-dev] mkgmap-r3906 (optimize-index)