[mkgmap-dev] Commit r4463: minor documentation update (options_v3.patch by Ticker Berkin)