Re: [mkgmap-dev] Commit r3968: merge the optimize-index branch. This fixes some problems with address search