On bytecode platforms, Coq installs a `revision` file containing metadata about the build. This is bad for reproducibility, so don’t install it.
