Re: [mkgmap-dev] Minor documentation patch