github.com/coq/opam-coq-archive
This script will try to remove unnecessary module imports from Coq
opam install coq-min-imports.1.0.2