Remove leftover comments.

2 jobs for ci/janno/vmcast in 15 minutes and 45 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #9068
fp
build-coq.8.6.1

00:15:45

passed #9067
fp-timing
build-coq.8.7.1

00:12:08