Re: [mkgmap-dev] The --remove-short-arcs option must go