remove a stale comment

8 jobs for master in 8 minutes and 29 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.7.0 #27071
fp

00:02:42

passed build-coq.8.7.1 #27070
fp

00:02:48

passed build-coq.8.7.2 #27069
fp

00:02:50

passed build-coq.8.8.0 #27068
fp-timing

00:02:42

passed build-coq.8.8.1 #27067
fp

00:02:48

passed build-coq.8.8.2 #27066
fp

00:02:50

passed build-coq.8.9.0 #27065
fp-timing

00:03:05

passed build-coq.dev #27064
fp

00:07:47