[mkgmap-dev] Commit r3969: try to fix formatting issues in optopns.txt