Re: [mkgmap-dev] Commit r4715: rework of options for reverse merge