Re: [mkgmap-dev] [PATCH] Option to extend sea sectors at extract borders