[mkgmap-dev] Commit r4855: improve documentation, esp. about --mdr7-del (options2.patch by Mike Baggaley)