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