Re: [mkgmap-dev] Using the "--remove-short-arcs" option