Revise comments on tests

2 jobs for !700 with modes-dist in 9 minutes and 33 seconds (queued for 2 seconds)
detached
Status Job ID Name Coverage
  Build
passed build-coq.8.12.2 #131783
fp

00:09:32

passed build-coq.dev #131782
fp

00:09:15