Re: [mkgmap-dev] Address index changes in dev-index branch