Re: [mkgmap-dev] documentation of new option in branch