Tweak the proof mode docs.

4 jobs for master in 3 minutes and 1 second (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #4370
fp-timing
build-coq.8.6.1

00:02:40

passed #4369
fp-timing
build-coq.8.7

00:02:45

 
  Deploy
passed #4371
opam

00:00:13

passed #4372
reverse-deps

00:00:13