Clearify `(pat1 & pat2 & .. & patn)` syntax.

6 jobs for master in 14 minutes and 43 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #39590
fp
build-coq.8.10.dev

00:13:19

passed #39594
fp
build-coq.8.7.2

00:06:08

passed #39593
fp
build-coq.8.8.2

00:06:45

passed #39592
fp-timing
build-coq.8.9.0

00:05:53

passed #39591
fp
build-coq.8.9.1

00:11:48

passed #39589
fp
build-coq.dev

00:14:43