Should we mention `./etc/ci/install_coq_deps.sh` here?