[mkgmap-dev] Commit r4364: improve formatting of doc/options.txt