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