Re: [mkgmap-dev] minor enhancement to tile-splitter