Re: [mkgmap-dev] Tool to dump index?