[mkgmap-dev] Commit: r2535: update description of precomp-sea to include zip file option