It leads to ocamlfind being upgraded and downgraded all the time, which leads to
Coq being recompiled.

This reverts commit 16c8b610. We don't need this any more.

That will then fail when submitted to the webhook, which is whta we want --
avoid bad data from getting into the system.