Re: [mkgmap-dev] minor documentation improvement