Re: [mkgmap-dev] Remove option dem-polygon ?