Re: [mkgmap-dev] generate-sea option and faster-mp changes