[mkgmap-dev] Commit r4553: doc: improve formatting (miscDoc_v3.patch by Ticker Berkin)