Tweak the proof mode docs.

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

00:02:40

passed build-coq.8.7 #4369
fp-timing

00:02:45

 
  Deploy
passed opam #4371

00:00:13

passed reverse-deps #4372

00:00:13