Re: [mkgmap-dev] higher precision instead of short-arc-removal?