Revert "Accept"

This reverts commit ed9c163.

Author: nojb

doc/test/run.t

@@ -8,15 +8,5 @@ is fine, but you then need to update the list of such exceptions below.
 
   $ DUNE_LANG=$(dune internal latest-lang-version)
   $ grep '(lang dune' ../*.rst | grep -v "$DUNE_LANG"
-  ../coq.rst:  (lang dune 3.17)
-  ../coq.rst:  (lang dune 3.17)
-  ../foreign-code.rst:  (lang dune 3.17)
   ../hacking.rst:``(lang dune 2.7)`` in their ``dune`` project file to use it.
-  ../hacking.rst:   (lang dune 3.17)
-  ../instrumentation.rst:   (lang dune 3.17)
-  ../instrumentation.rst:   (lang dune 3.17)
-  ../melange.rst:  (lang dune 3.17)
-  ../sites.rst:   (lang dune 3.17)
-  ../sites.rst:  (lang dune 3.17)
-  ../sites.rst:  (lang dune 3.17)
   ../tests.rst:   (lang dune 2.7)