Fix some Coqdoc, e.g. use `[ ]` for code, that I did not see in the review of !62,

8 jobs for master in 10 minutes and 31 seconds (queued for 1 minute and 33 seconds)
Status Job ID Name Coverage
  Build
passed #27230
fp
build-coq.8.7.0

00:02:44

passed #27229
fp
build-coq.8.7.1

00:02:46

passed #27228
fp
build-coq.8.7.2

00:02:40

passed #27227
fp-timing
build-coq.8.8.0

00:02:36

passed #27226
fp
build-coq.8.8.1

00:02:48

passed #27225
fp
build-coq.8.8.2

00:02:48

passed #27224
fp-timing
build-coq.8.9.0

00:03:13

passed #27223
fp
build-coq.dev

00:07:59