Re: [mkgmap-dev] Suggestions: improvements to mkgmap --style-file= and --list-styles options