Re: [mkgmap-dev] Commit r3702: sortAreas_v5.patch:Addoption--order-by-decreasing-area