A note about the Iris LaTeX macros in the README.

Many people using Iris appear to not know these; this may make them
easier to find.
8 jobs for master in 25 minutes and 5 seconds
Status Job ID Name Coverage
  Build
passed #23000
fp
build-coq.8.7.1

00:05:28

passed #22981
fp
build-coq.8.7.2

00:05:36

passed #22980
fp-timing
build-coq.8.8.0

00:04:50

passed #22979
fp
build-coq.8.8.1

00:05:52

passed #22978
fp
build-coq.8.8.2

00:05:49

passed #22977
fp-timing
build-coq.8.9.0

00:05:26

passed #22976
fp
build-coq.dev

00:19:37

passed #22982
fp
build-coq.8.7.1

00:05:38