diff --git a/src/dune_rules/warning_emit.ml b/src/dune_rules/warning_emit.ml
index 1fed4cdcf65e..bcdcdaf3015a 100644
--- a/src/dune_rules/warning_emit.ml
+++ b/src/dune_rules/warning_emit.ml
@@ -19,9 +19,8 @@ let check_project warning project =
 let emit_hint warning =
   [ Pp.concat
       ~sep:Pp.space
-      [ Pp.text
-          "To disable this warning, add the following to your dune-project file:"
-      ; Pp.verbatim (sprintf "(%s disabled)" (Warning.name warning))
+      [ Pp.text "To disable this warning, add the following to your dune-project file:"
+      ; Pp.verbatim (sprintf "(warnings (%s disabled))" (Warning.name warning))
       ]
   ]
 ;;
diff --git a/test/blackbox-tests/test-cases/coq/base-unsound.t/run.t b/test/blackbox-tests/test-cases/coq/base-unsound.t/run.t
index d18fc47294ac..65532c5442b2 100644
--- a/test/blackbox-tests/test-cases/coq/base-unsound.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/base-unsound.t/run.t
@@ -1,8 +1,8 @@
   $ dune build --display short --profile unsound --debug-dependency-path @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         coqdep .basic.theory.d
           coqc foo.{glob,vo}
           coqc bar.{glob,vo}
diff --git a/test/blackbox-tests/test-cases/coq/base.t/run.t b/test/blackbox-tests/test-cases/coq/base.t/run.t
index 0cb876900bbe..2f58777b258d 100644
--- a/test/blackbox-tests/test-cases/coq/base.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/base.t/run.t
@@ -1,8 +1,8 @@
   $ dune build --display short --debug-dependency-path @all --always-show-command-line
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         coqdep .basic.theory.d
           coqc foo.{glob,vo}
           coqc bar.{glob,vo}
@@ -10,8 +10,8 @@
   $ dune build --debug-dependency-path @default
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   lib: [
     "_build/install/default/lib/base/META"
     "_build/install/default/lib/base/dune-package"
diff --git a/test/blackbox-tests/test-cases/coq/compose-boot-nodeps.t/run.t b/test/blackbox-tests/test-cases/coq/compose-boot-nodeps.t/run.t
index dd88383d4fa3..7200ab0ec075 100644
--- a/test/blackbox-tests/test-cases/coq/compose-boot-nodeps.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-boot-nodeps.t/run.t
@@ -3,8 +3,8 @@ Testing composition with two boot libraries
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "A/dune", line 4, characters 11-12:
   4 |  (theories B)
                  ^
diff --git a/test/blackbox-tests/test-cases/coq/compose-boot-nodups.t/run.t b/test/blackbox-tests/test-cases/coq/compose-boot-nodups.t/run.t
index fe9d705d6926..fef29f23bb49 100644
--- a/test/blackbox-tests/test-cases/coq/compose-boot-nodups.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-boot-nodups.t/run.t
@@ -3,8 +3,8 @@ Testing composition with two boot libraries
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Error: Cannot have more than one boot theory in scope:
   - B at B/dune:1
   - A at A/dune:1
diff --git a/test/blackbox-tests/test-cases/coq/compose-boot-nostdlib.t/run.t b/test/blackbox-tests/test-cases/coq/compose-boot-nostdlib.t/run.t
index e8f58d46d3a3..310a4b60685b 100644
--- a/test/blackbox-tests/test-cases/coq/compose-boot-nostdlib.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-boot-nostdlib.t/run.t
@@ -6,8 +6,8 @@ Composing library A depending on Coq but having `(stdlib no)`:
   $ dune build A
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Module
   Prelude
   := Struct Inductive BootType : Set :=  boot : BootType | type : BootType. End
@@ -20,8 +20,8 @@ Composing library B depending on Coq but having `(stdlib yes)`:
   $ dune build B
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Module
   Prelude
   := Struct Inductive BootType : Set :=  boot : BootType | type : BootType. End
diff --git a/test/blackbox-tests/test-cases/coq/compose-boot-plugins.t/run.t b/test/blackbox-tests/test-cases/coq/compose-boot-plugins.t/run.t
index baf938624aed..c44977425812 100644
--- a/test/blackbox-tests/test-cases/coq/compose-boot-plugins.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-boot-plugins.t/run.t
@@ -3,7 +3,7 @@ Testing composition with a boot library with plugins
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   plugin loaded
   plugin loaded
diff --git a/test/blackbox-tests/test-cases/coq/compose-cycle.t/run.t b/test/blackbox-tests/test-cases/coq/compose-cycle.t/run.t
index 87ecbc2a5359..10a59accbc0f 100644
--- a/test/blackbox-tests/test-cases/coq/compose-cycle.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-cycle.t/run.t
@@ -2,8 +2,8 @@ We check cycles are detected
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Error: Dependency cycle between:
      theory A in A/dune:2
   -> theory B in B/dune:2
diff --git a/test/blackbox-tests/test-cases/coq/compose-installed-compat.t/run.t b/test/blackbox-tests/test-cases/coq/compose-installed-compat.t/run.t
index a9aca2bc9fa7..ef2fad9d8292 100644
--- a/test/blackbox-tests/test-cases/coq/compose-installed-compat.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-installed-compat.t/run.t
@@ -32,14 +32,14 @@ so this also tests that it won't be a problem.
   Entering directory 'B'
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Leaving directory 'B'
   $ dune install --root B --prefix=$PWD --display=short
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Installing $TESTCASE_ROOT/lib/B/META
   Installing $TESTCASE_ROOT/lib/B/dune-package
   Installing $TESTCASE_ROOT/lib/coq/user-contrib/B/.coq-native/NB_b.cmi
diff --git a/test/blackbox-tests/test-cases/coq/compose-plugin.t/run.t b/test/blackbox-tests/test-cases/coq/compose-plugin.t/run.t
index 47b798a69b66..41ccbb122df8 100644
--- a/test/blackbox-tests/test-cases/coq/compose-plugin.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-plugin.t/run.t
@@ -1,8 +1,8 @@
   $ dune build --display short --debug-dependency-path @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         ocamlc src_b/.ml_plugin_b.objs/byte/ml_plugin_b.{cmi,cmo,cmt}
       ocamldep src_b/.ml_plugin_b.objs/ml_plugin_b__Simple_b.impl.d
         ocamlc src_a/.ml_plugin_a.objs/byte/ml_plugin_a.{cmi,cmo,cmt}
diff --git a/test/blackbox-tests/test-cases/coq/compose-private-ambiguous.t/run.t b/test/blackbox-tests/test-cases/coq/compose-private-ambiguous.t/run.t
index 6bfc4042d14e..48239ca4cf50 100644
--- a/test/blackbox-tests/test-cases/coq/compose-private-ambiguous.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-private-ambiguous.t/run.t
@@ -5,8 +5,8 @@ B will pick up the private one:
   $ dune build B
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   message = "I am the the private A "
        : string
 
@@ -14,8 +14,8 @@ C picks up the private one too:
   $ dune build C
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "C/dune", line 4, characters 11-12:
   4 |  (theories A))
                  ^
diff --git a/test/blackbox-tests/test-cases/coq/compose-private.t/run.t b/test/blackbox-tests/test-cases/coq/compose-private.t/run.t
index 2666a2dd7d26..7efb61d7a794 100644
--- a/test/blackbox-tests/test-cases/coq/compose-private.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-private.t/run.t
@@ -5,8 +5,8 @@ because a public theory cannot depend on a private theory.
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Hello
        : Set
   File "C/dune", line 4, characters 11-12:
diff --git a/test/blackbox-tests/test-cases/coq/compose-projects-boot.t/run.t b/test/blackbox-tests/test-cases/coq/compose-projects-boot.t/run.t
index 2ef8e18d612f..db0e05aa8f7f 100644
--- a/test/blackbox-tests/test-cases/coq/compose-projects-boot.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-projects-boot.t/run.t
@@ -10,8 +10,8 @@ coqdep and coqc.
   $ dune build A
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Module
   Prelude
   := Struct Inductive BootType : Set :=  boot : BootType | type : BootType. End
@@ -32,8 +32,8 @@ private boot library will be loaded implicitly.
   $ dune build B
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   private_boot
        : PrivateBootType
 
@@ -55,8 +55,8 @@ to fix this currently.
   $ dune build B
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Error: Cannot have more than one boot theory in scope:
   - Coq at Coq/dune:1
   - Coq at B/Coq/dune:2
diff --git a/test/blackbox-tests/test-cases/coq/compose-projects-cycle.t/run.t b/test/blackbox-tests/test-cases/coq/compose-projects-cycle.t/run.t
index c664811aba0f..086bf6460c1c 100644
--- a/test/blackbox-tests/test-cases/coq/compose-projects-cycle.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-projects-cycle.t/run.t
@@ -4,8 +4,8 @@ dependencies.
   $ dune build A
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Error: Dependency cycle between:
      theory A in A/dune:2
   -> theory B in B/dune:2
@@ -19,8 +19,8 @@ dependencies.
   $ dune build B
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Error: Dependency cycle between:
      theory B in B/dune:2
   -> theory C in C/dune:2
@@ -34,8 +34,8 @@ dependencies.
   $ dune build C
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Error: Dependency cycle between:
      theory C in C/dune:2
   -> theory A in A/dune:2
diff --git a/test/blackbox-tests/test-cases/coq/compose-projects-missing.t/run.t b/test/blackbox-tests/test-cases/coq/compose-projects-missing.t/run.t
index 2e67285a788a..ddcb15b19056 100644
--- a/test/blackbox-tests/test-cases/coq/compose-projects-missing.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-projects-missing.t/run.t
@@ -4,8 +4,8 @@ dependency.
   $ dune build C
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "B/dune", line 4, characters 11-12:
   4 |  (theories A))
                  ^
diff --git a/test/blackbox-tests/test-cases/coq/compose-projects-private-ambiguous.t/run.t b/test/blackbox-tests/test-cases/coq/compose-projects-private-ambiguous.t/run.t
index 73b8cfa52e3e..e2f6d19301f0 100644
--- a/test/blackbox-tests/test-cases/coq/compose-projects-private-ambiguous.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-projects-private-ambiguous.t/run.t
@@ -11,8 +11,8 @@ which complains.
   $ dune build B
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   *** Warning: in file b.v, library a is required from root A and has not been found in the loadpath!
   File "./B/b.v", line 2, characters 0-24:
   Error: Cannot find a physical path bound to logical path a with prefix A.
@@ -22,8 +22,8 @@ which complains.
   $ dune build C
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   *** Warning: in file c.v, library a is required from root A and has not been found in the loadpath!
   *** Warning: in file a.v, library A is required from root C and has not been found in the loadpath!
   File "./C/c.v", line 2, characters 0-24:
@@ -45,14 +45,14 @@ which complains.
   $ dune build A
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
   $ dune build C/A_vendored
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "C/A_vendored/dune", line 1, characters 0-36:
   1 | (coq.theory
   2 |  (name A)
diff --git a/test/blackbox-tests/test-cases/coq/compose-projects.t/run.t b/test/blackbox-tests/test-cases/coq/compose-projects.t/run.t
index 63251790972a..1cae733529f6 100644
--- a/test/blackbox-tests/test-cases/coq/compose-projects.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-projects.t/run.t
@@ -2,8 +2,8 @@ Testing composition of theories across a dune workspace
   $ dune build B
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Hello
        : Set
 
diff --git a/test/blackbox-tests/test-cases/coq/compose-self.t/run.t b/test/blackbox-tests/test-cases/coq/compose-self.t/run.t
index 8b4ee745609e..4a624d95df60 100644
--- a/test/blackbox-tests/test-cases/coq/compose-self.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-self.t/run.t
@@ -2,8 +2,8 @@ Composing a theory with itself should cause a cycle
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Error: Dependency cycle between:
      theory A in A/dune:2
   -> required by _build/default/A/.A.theory.d
diff --git a/test/blackbox-tests/test-cases/coq/compose-simple.t/run.t b/test/blackbox-tests/test-cases/coq/compose-simple.t/run.t
index 8cfaf8020584..66fd79bbc836 100644
--- a/test/blackbox-tests/test-cases/coq/compose-simple.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-simple.t/run.t
@@ -4,8 +4,8 @@ depends on A.
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 We inspect the contents of the build directory.
 
diff --git a/test/blackbox-tests/test-cases/coq/compose-sub-theory.t/run.t b/test/blackbox-tests/test-cases/coq/compose-sub-theory.t/run.t
index bbc40d5eed30..4f33367c45d7 100644
--- a/test/blackbox-tests/test-cases/coq/compose-sub-theory.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-sub-theory.t/run.t
@@ -4,8 +4,8 @@ defined as Foo.A. This changes the install layout of A.
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 Inspecting the build and install directory
   $ ls _build/install/default/lib/coq/user-contrib/Foo/A/a.vo
diff --git a/test/blackbox-tests/test-cases/coq/compose-two-scopes.t/run.t b/test/blackbox-tests/test-cases/coq/compose-two-scopes.t/run.t
index 2255e9c78417..5437e0982c51 100644
--- a/test/blackbox-tests/test-cases/coq/compose-two-scopes.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/compose-two-scopes.t/run.t
@@ -2,8 +2,8 @@
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   lib: [
     "_build/install/default/lib/cvendor/META"
     "_build/install/default/lib/cvendor/dune-package"
diff --git a/test/blackbox-tests/test-cases/coq/coqdep-on-rebuild.t/run.t b/test/blackbox-tests/test-cases/coq/coqdep-on-rebuild.t/run.t
index db4155cb44d1..1eb1c55902d7 100644
--- a/test/blackbox-tests/test-cases/coq/coqdep-on-rebuild.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/coqdep-on-rebuild.t/run.t
@@ -16,8 +16,8 @@
   $ dune build --display short --debug-dependency-path
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         coqdep a/.a.theory.d
         coqdep b/.b.theory.d
           coqc a/Na_a.{cmi,cmxs},a/a.{glob,vo}
@@ -31,7 +31,7 @@
   $ dune build --display short --debug-dependency-path
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         coqdep b/.b.theory.d
           coqc b/Nb_b.{cmi,cmxs},b/b.{glob,vo}
diff --git a/test/blackbox-tests/test-cases/coq/coqdoc-dir-target-clash.t/run.t b/test/blackbox-tests/test-cases/coq/coqdoc-dir-target-clash.t/run.t
index 0ea279133d48..30c5f76fb36d 100644
--- a/test/blackbox-tests/test-cases/coq/coqdoc-dir-target-clash.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/coqdoc-dir-target-clash.t/run.t
@@ -3,8 +3,8 @@ directory targets. Notice how the tex one fails before html one.
   $ dune build @check
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "dune", line 9, characters 0-116:
    9 | (rule
   10 |  (targets
diff --git a/test/blackbox-tests/test-cases/coq/coqdoc-multi-theory.t/run.t b/test/blackbox-tests/test-cases/coq/coqdoc-multi-theory.t/run.t
index 59c8da096b78..2e51a2104e01 100644
--- a/test/blackbox-tests/test-cases/coq/coqdoc-multi-theory.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/coqdoc-multi-theory.t/run.t
@@ -5,8 +5,8 @@ First we build the doc alias for the first theory
   $ dune build @A/doc
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 The first theory doc is built
   $ ls _build/default/A/A.html
   A.AA.aa.html
@@ -24,8 +24,8 @@ Next we build the doc for the second theory
   $ dune build @B/doc
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 Check that the first theory doc is not built
   $ ls _build/default/A/
   AA
@@ -47,8 +47,8 @@ Next we test the LaTeX targets in the same manner
   $ dune build @A/doc-latex
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 The first theory doc is built
   $ ls _build/default/A/A.tex
   A.AA.aa.tex
@@ -64,8 +64,8 @@ Next we build the doc for the second theory
   $ dune build @B/doc-latex
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 Check that the first theory doc is not built
   $ ls _build/default/A
   AA
diff --git a/test/blackbox-tests/test-cases/coq/coqdoc-with-boot.t/run.t b/test/blackbox-tests/test-cases/coq/coqdoc-with-boot.t/run.t
index c8b4c47dec27..90fa83fcb8d0 100644
--- a/test/blackbox-tests/test-cases/coq/coqdoc-with-boot.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/coqdoc-with-boot.t/run.t
@@ -3,8 +3,8 @@ Testing coqdoc when composed with a boot library
   $ dune build A/A.html
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
   $ ls _build/default/A
   A.html
diff --git a/test/blackbox-tests/test-cases/coq/coqdoc.t/run.t b/test/blackbox-tests/test-cases/coq/coqdoc.t/run.t
index d7fcb041ccdf..d0050884321a 100644
--- a/test/blackbox-tests/test-cases/coq/coqdoc.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/coqdoc.t/run.t
@@ -2,8 +2,8 @@ We build the coqdoc html target:
   $ dune build basic.html/
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 Now we inspect it:
   $ ls _build/default/basic.html
@@ -17,8 +17,8 @@ We build the coqdoc latex target:
   $ dune build basic.tex/
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 Now we inspect it:
   $ ls _build/default/basic.tex
@@ -31,8 +31,8 @@ Next from a clean build we make sure that @all does *not* build any doc targets:
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 Note that this currently works due to a bug in @all detecting directory targets.
   $ ls _build/default
   META.base
diff --git a/test/blackbox-tests/test-cases/coq/coqtop/coqtop-flags.t/run.t b/test/blackbox-tests/test-cases/coq/coqtop/coqtop-flags.t/run.t
index a2784b86b126..54bd7770062e 100644
--- a/test/blackbox-tests/test-cases/coq/coqtop/coqtop-flags.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/coqtop/coqtop-flags.t/run.t
@@ -4,8 +4,8 @@ The flags passed to coqc:
   $ dune build && tail -1 _build/log | ../../scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   coqc
   -w -notation-overridden
   -w -deprecated-native-compiler-option -native-output-dir .
@@ -41,8 +41,8 @@ The flags passed to coqtop:
   $ dune coq top --toplevel=echo Test.v | ../../scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   -topfile $TESTCASE_ROOT/_build/default/Test.v
   -w -notation-overridden
   -w -deprecated-native-compiler-option -native-output-dir .
diff --git a/test/blackbox-tests/test-cases/coq/coqtop/coqtop-nested.t/run.t b/test/blackbox-tests/test-cases/coq/coqtop/coqtop-nested.t/run.t
index 16149a9320bf..583ac167b143 100644
--- a/test/blackbox-tests/test-cases/coq/coqtop/coqtop-nested.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/coqtop/coqtop-nested.t/run.t
@@ -3,18 +3,18 @@ Checking that we compute the directory and file for dune coq top correctly
   $ dune build theories/c.vo
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   $ dune build theories/b/b.vo
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   $ dune coq top --toplevel=echo theories/c.v | ../../scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   -topfile $TESTCASE_ROOT/_build/default/theories/c.v
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
@@ -46,8 +46,8 @@ Checking that we compute the directory and file for dune coq top correctly
   $ dune coq top --toplevel=echo theories/b/b.v | ../../scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   -topfile $TESTCASE_ROOT/_build/default/theories/b/b.v
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
diff --git a/test/blackbox-tests/test-cases/coq/coqtop/coqtop-recomp.t b/test/blackbox-tests/test-cases/coq/coqtop/coqtop-recomp.t
index 53689c109cbd..9907c3085126 100644
--- a/test/blackbox-tests/test-cases/coq/coqtop/coqtop-recomp.t
+++ b/test/blackbox-tests/test-cases/coq/coqtop/coqtop-recomp.t
@@ -21,8 +21,8 @@ https://github.com/ocaml/dune/pull/5457#issuecomment-1084161587).
   $ dune coq top --display short --toplevel echo dir/bar.v | ../scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         coqdep dir/.basic.theory.d
           coqc dir/foo.{glob,vo}
   -topfile $TESTCASE_ROOT/_build/default/dir/bar.v
@@ -55,8 +55,8 @@ https://github.com/ocaml/dune/pull/5457#issuecomment-1084161587).
   $ dune coq top --display short --toplevel echo dir/bar.v | ../scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   -topfile $TESTCASE_ROOT/_build/default/dir/bar.v
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
@@ -89,8 +89,8 @@ https://github.com/ocaml/dune/pull/5457#issuecomment-1084161587).
   Entering directory '..'
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         coqdep dir/.basic.theory.d
           coqc dir/foo.{glob,vo}
   Leaving directory '..'
@@ -125,8 +125,8 @@ https://github.com/ocaml/dune/pull/5457#issuecomment-1084161587).
   Entering directory '..'
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Leaving directory '..'
   -topfile $TESTCASE_ROOT/_build/default/dir/bar.v
   -w -deprecated-native-compiler-option
diff --git a/test/blackbox-tests/test-cases/coq/coqtop/coqtop-root.t/run.t b/test/blackbox-tests/test-cases/coq/coqtop/coqtop-root.t/run.t
index 5dc6561a0ecd..2bf2619429ee 100644
--- a/test/blackbox-tests/test-cases/coq/coqtop/coqtop-root.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/coqtop/coqtop-root.t/run.t
@@ -3,8 +3,8 @@ All dune commands work when you run them in sub-directories, so this should be n
   $ dune coq top --toplevel=echo -- theories/foo.v | ../../scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   -topfile $TESTCASE_ROOT/_build/default/theories/foo.v
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
diff --git a/test/blackbox-tests/test-cases/coq/deprecate-libraries.t/run.t b/test/blackbox-tests/test-cases/coq/deprecate-libraries.t/run.t
index 3ecd488de901..11df3538424e 100644
--- a/test/blackbox-tests/test-cases/coq/deprecate-libraries.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/deprecate-libraries.t/run.t
@@ -12,8 +12,8 @@ The libraries field is deprecated
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "dune", line 7, characters 1-20:
   7 |  (libraries bar.foo))
        ^^^^^^^^^^^^^^^^^^^
@@ -35,8 +35,8 @@ Having both a libraries and plugins field is an error
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "dune", line 7, characters 1-20:
   7 |  (libraries bar.foo)
        ^^^^^^^^^^^^^^^^^^^
diff --git a/test/blackbox-tests/test-cases/coq/deprecate-public_name.t/run.t b/test/blackbox-tests/test-cases/coq/deprecate-public_name.t/run.t
index 4561759b6656..642814535276 100644
--- a/test/blackbox-tests/test-cases/coq/deprecate-public_name.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/deprecate-public_name.t/run.t
@@ -13,8 +13,8 @@ public_name field is deprecated
   Please use 'package' instead.
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 both package and public_name field is an error
   $ cat > dune << EOF
@@ -32,8 +32,8 @@ both package and public_name field is an error
   Please use 'package' instead.
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "dune", line 3, characters 14-17:
   3 |  (public_name Foo)
                     ^^^
diff --git a/test/blackbox-tests/test-cases/coq/empty-modules.t/run.t b/test/blackbox-tests/test-cases/coq/empty-modules.t/run.t
index cf3582905b5c..73daedd18560 100644
--- a/test/blackbox-tests/test-cases/coq/empty-modules.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/empty-modules.t/run.t
@@ -11,5 +11,5 @@ Builds fine as expected.
   $ dune build 2>&1
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
diff --git a/test/blackbox-tests/test-cases/coq/env.t b/test/blackbox-tests/test-cases/coq/env.t
index 6ece7d6daf8e..1cd16bc79306 100644
--- a/test/blackbox-tests/test-cases/coq/env.t
+++ b/test/blackbox-tests/test-cases/coq/env.t
@@ -48,8 +48,8 @@ Case A / A
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -60,8 +60,8 @@ Case A / A
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -79,8 +79,8 @@ Case A / I
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -91,8 +91,8 @@ Case A / I
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -110,8 +110,8 @@ Case A / N
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -122,8 +122,8 @@ Case A / N
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -141,8 +141,8 @@ Case A / Y
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -153,8 +153,8 @@ Case A / Y
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 Cases for I
 
@@ -173,8 +173,8 @@ Case I / A
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -185,8 +185,8 @@ Case I / A
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -204,8 +204,8 @@ Case I / I
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -216,8 +216,8 @@ Case I / I
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -235,8 +235,8 @@ Case I / N
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -247,8 +247,8 @@ Case I / N
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -266,8 +266,8 @@ Case I / Y
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -278,8 +278,8 @@ Case I / Y
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 Cases for N
 
@@ -298,8 +298,8 @@ Case N / A
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -310,8 +310,8 @@ Case N / A
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -329,8 +329,8 @@ Case N / I
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -341,8 +341,8 @@ Case N / I
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -360,8 +360,8 @@ Case N / N
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -372,8 +372,8 @@ Case N / N
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -391,8 +391,8 @@ Case N / Y
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -403,8 +403,8 @@ Case N / Y
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -428,8 +428,8 @@ Case Y / A
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -440,8 +440,8 @@ Case Y / A
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 Case Y / I
 
@@ -453,8 +453,8 @@ Case Y / I
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -465,8 +465,8 @@ Case Y / I
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 Case Y / N
 
@@ -478,8 +478,8 @@ Case Y / N
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -490,8 +490,8 @@ Case Y / N
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 Case Y / Y
 
@@ -503,8 +503,8 @@ Case Y / Y
   $ dune build @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "./foo.v", line 3, characters 24-25:
   Error:
   The term "t" has type "Type" while it is expected to have type 
@@ -515,5 +515,5 @@ Case Y / Y
   $ dune build @all --profile unsound
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
diff --git a/test/blackbox-tests/test-cases/coq/extraction/extract.t b/test/blackbox-tests/test-cases/coq/extraction/extract.t
index 7774b74308a6..cad0c70ae992 100644
--- a/test/blackbox-tests/test-cases/coq/extraction/extract.t
+++ b/test/blackbox-tests/test-cases/coq/extraction/extract.t
@@ -36,8 +36,8 @@
   $ dune exec ./foo.exe
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   false
   $ ls _build/default
   Datatypes.ml
diff --git a/test/blackbox-tests/test-cases/coq/extraction/extraction-patch.t/run.t b/test/blackbox-tests/test-cases/coq/extraction/extraction-patch.t/run.t
index 9b1b6f4d9d5e..685d8064b9a9 100644
--- a/test/blackbox-tests/test-cases/coq/extraction/extraction-patch.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/extraction/extraction-patch.t/run.t
@@ -2,8 +2,8 @@
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
   $ ls _build/default
   Datatypes.ml
@@ -24,6 +24,6 @@
   $ dune exec -- ./my_prog.exe
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   Result: false
diff --git a/test/blackbox-tests/test-cases/coq/flags.t b/test/blackbox-tests/test-cases/coq/flags.t
index b7919ebe0ffe..027146852498 100644
--- a/test/blackbox-tests/test-cases/coq/flags.t
+++ b/test/blackbox-tests/test-cases/coq/flags.t
@@ -19,8 +19,8 @@ Test case: default flags
   $ dune build foo.vo && tail -n 1 _build/log | ./scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   coqc -q
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
@@ -62,8 +62,8 @@ TC: :standard
   $ dune build foo.vo && tail -n 1 _build/log | ./scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   coqc -q
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
@@ -104,8 +104,8 @@ TC: override :standard
   $ dune build foo.vo && tail -n 1 _build/log | ./scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   coqc
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
@@ -146,8 +146,8 @@ TC: add to :standard
   $ dune build foo.vo && tail -n 1 _build/log | ./scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   coqc -q -type-in-type
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
@@ -193,8 +193,8 @@ TC: extend in workspace + override standard
   $ dune build foo.vo && tail -n 1 _build/log | ./scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   coqc -type-in-type
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
@@ -234,8 +234,8 @@ TC: extend in workspace + override standard
   $ dune build foo.vo && tail -n 1 _build/log | ./scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   coqc -q -type-in-type
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
@@ -277,8 +277,8 @@ TC: extend in dune (env) + override standard
   $ dune build foo.vo && tail -n 1 _build/log | ./scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   coqc -type-in-type
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
@@ -320,8 +320,8 @@ TC: extend in dune (env) + standard
   $ dune build foo.vo && tail -n 1 _build/log | ./scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   coqc -q -type-in-type -type-in-type
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
@@ -368,8 +368,8 @@ TC: extend in dune (env) + workspace + standard
   $ dune build foo.vo && tail -n 1 _build/log | ./scrub_coq_args.sh
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   coqc -q -type-in-type -bt
   -w -deprecated-native-compiler-option
   -w -native-compiler-disabled
diff --git a/test/blackbox-tests/test-cases/coq/github5532.t b/test/blackbox-tests/test-cases/coq/github5532.t
index fb6fb07e354b..6222cf48bde1 100644
--- a/test/blackbox-tests/test-cases/coq/github5532.t
+++ b/test/blackbox-tests/test-cases/coq/github5532.t
@@ -18,8 +18,8 @@ Reproducing test case for #5532.
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "dune", line 1, characters 0-26:
   1 | (coq.theory
   2 |  (name basic))
diff --git a/test/blackbox-tests/test-cases/coq/lang_08_warning_disable/run.t b/test/blackbox-tests/test-cases/coq/lang_08_warning_disable/run.t
index 4ce0b129ef59..86b4602d5cd7 100644
--- a/test/blackbox-tests/test-cases/coq/lang_08_warning_disable/run.t
+++ b/test/blackbox-tests/test-cases/coq/lang_08_warning_disable/run.t
@@ -17,16 +17,16 @@ Test that the warning for coq lang 0.8 can be disabled
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
 We get the warning again, even on a zero-build:
 
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
 
   $ cat > dune-project <<EOF
   > (lang dune 3.12)
diff --git a/test/blackbox-tests/test-cases/coq/ml-lib.t/run.t b/test/blackbox-tests/test-cases/coq/ml-lib.t/run.t
index 81dab774520e..3244d4182569 100644
--- a/test/blackbox-tests/test-cases/coq/ml-lib.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/ml-lib.t/run.t
@@ -1,8 +1,8 @@
   $ dune build --display short --debug-dependency-path @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         ocamlc src_b/.ml_plugin_b.objs/byte/ml_plugin_b.{cmi,cmo,cmt}
       ocamldep src_b/.ml_plugin_b.objs/ml_plugin_b__Simple_b.impl.d
         ocamlc src_a/.ml_plugin_a.objs/byte/ml_plugin_a.{cmi,cmo,cmt}
diff --git a/test/blackbox-tests/test-cases/coq/native-compose.t/run.t b/test/blackbox-tests/test-cases/coq/native-compose.t/run.t
index 5abe151e7ae0..4aa5086b7cef 100644
--- a/test/blackbox-tests/test-cases/coq/native-compose.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/native-compose.t/run.t
@@ -1,8 +1,8 @@
   $ dune build --profile=release --display short --debug-dependency-path @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         coqdep bar/.bar.theory.d
         coqdep foo/.foo.theory.d
           coqc foo/Nfoo_foo.{cmi,cmxs},foo/foo.{glob,vo}
@@ -12,8 +12,8 @@
   $ dune build --profile=release --debug-dependency-path @default
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   lib: [
     "_build/install/default/lib/base/META"
     "_build/install/default/lib/base/dune-package"
diff --git a/test/blackbox-tests/test-cases/coq/native-single.t/run.t b/test/blackbox-tests/test-cases/coq/native-single.t/run.t
index 42b9bccfd234..f5c43a4220b1 100644
--- a/test/blackbox-tests/test-cases/coq/native-single.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/native-single.t/run.t
@@ -1,8 +1,8 @@
   $ dune build --profile=release --display short --debug-dependency-path @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         coqdep .basic.theory.d
           coqc Nbasic_foo.{cmi,cmxs},foo.{glob,vo}
           coqc Nbasic_bar.{cmi,cmxs},bar.{glob,vo}
@@ -10,8 +10,8 @@
   $ dune build --profile=release --debug-dependency-path @default
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   lib: [
     "_build/install/default/lib/base/META"
     "_build/install/default/lib/base/dune-package"
diff --git a/test/blackbox-tests/test-cases/coq/no-stdlib.t/run.t b/test/blackbox-tests/test-cases/coq/no-stdlib.t/run.t
index d620356a3ae8..577a706e7ed1 100644
--- a/test/blackbox-tests/test-cases/coq/no-stdlib.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/no-stdlib.t/run.t
@@ -4,8 +4,8 @@ and the prelude is not imported; we expect the below two tests to fail.
   $ dune build --display=short foo.vo
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         coqdep .basic.theory.d
   *** Warning: in file foo.v, library Prelude is required from root Coq and has not been found in the loadpath!
           coqc foo.{glob,vo} (exit 1)
@@ -18,8 +18,8 @@ and the prelude is not imported; we expect the below two tests to fail.
   $ dune build --display=short bar.vo
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
           coqc bar.{glob,vo} (exit 1)
   File "./bar.v", line 1, characters 20-23:
   Error: The reference nat was not found in the current environment.
diff --git a/test/blackbox-tests/test-cases/coq/plugin-meta.t/run.t b/test/blackbox-tests/test-cases/coq/plugin-meta.t/run.t
index d86fc6ee6e16..bc385a5b99e3 100644
--- a/test/blackbox-tests/test-cases/coq/plugin-meta.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/plugin-meta.t/run.t
@@ -12,8 +12,8 @@ The META file for plugins is built before calling coqdep
   $ dune build .bar.theory.d
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   $ ls _build/install/default/lib/bar
   META
 
diff --git a/test/blackbox-tests/test-cases/coq/plugin-private.t/run.t b/test/blackbox-tests/test-cases/coq/plugin-private.t/run.t
index d09cc679a994..4923b5049631 100644
--- a/test/blackbox-tests/test-cases/coq/plugin-private.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/plugin-private.t/run.t
@@ -11,8 +11,8 @@ In Coq >= 0.6, depending on a private library as a plugin is an error.
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "dune", line 6, characters 10-13:
   6 |  (plugins foo))
                 ^^^
diff --git a/test/blackbox-tests/test-cases/coq/public-dep-on-private.t/run.t b/test/blackbox-tests/test-cases/coq/public-dep-on-private.t/run.t
index a1bd88bd3fd9..4226112125f9 100644
--- a/test/blackbox-tests/test-cases/coq/public-dep-on-private.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/public-dep-on-private.t/run.t
@@ -1,8 +1,8 @@
   $ dune build --display short --debug-dependency-path
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "public/dune", line 4, characters 11-18:
   4 |  (theories private))
                  ^^^^^^^
diff --git a/test/blackbox-tests/test-cases/coq/rec-module.t/run.t b/test/blackbox-tests/test-cases/coq/rec-module.t/run.t
index eb56979dffbe..0f6b6ec30bd2 100644
--- a/test/blackbox-tests/test-cases/coq/rec-module.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/rec-module.t/run.t
@@ -1,8 +1,8 @@
   $ dune build --display short --debug-dependency-path @all
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
         coqdep .rec_module.theory.d
           coqc b/foo.{glob,vo}
           coqc c/ooo.{glob,vo}
@@ -12,8 +12,8 @@
   $ dune build --debug-dependency-path @default
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   lib: [
     "_build/install/default/lib/rec/META"
     "_build/install/default/lib/rec/dune-package"
diff --git a/test/blackbox-tests/test-cases/coq/theory-stanza-duplicate-module.t/run.t b/test/blackbox-tests/test-cases/coq/theory-stanza-duplicate-module.t/run.t
index 9535c63e224b..bf98e4e7137b 100644
--- a/test/blackbox-tests/test-cases/coq/theory-stanza-duplicate-module.t/run.t
+++ b/test/blackbox-tests/test-cases/coq/theory-stanza-duplicate-module.t/run.t
@@ -9,8 +9,8 @@ Dune should warn about duplicate modules declared inside a coq.theory stanza
   $ dune build
   Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune
   3.8 and will be removed in an upcoming Dune version.
-  Hint: To disable this warning, add the following to your dune-project file
-  (warnings ...) section: (deprecated_coq_lang_lt_08 disabled)
+  Hint: To disable this warning, add the following to your dune-project file:
+  (warnings (deprecated_coq_lang_lt_08 disabled))
   File "dune", line 1, characters 0-47:
   1 | (coq.theory
   2 |  (name foo)
diff --git a/test/blackbox-tests/test-cases/disable-warning.t b/test/blackbox-tests/test-cases/disable-warning.t
index 5eeca7fd9576..ffe817958e10 100644
--- a/test/blackbox-tests/test-cases/disable-warning.t
+++ b/test/blackbox-tests/test-cases/disable-warning.t
@@ -16,7 +16,7 @@ Demonstrate dune's system for enabling/disabling warnings
        ^^^^^^^^^^^^^^
   Warning: no_keep_locs is a no-op. Please delete it.
   Hint: To disable this warning, add the following to your dune-project file:
-  (no_keep_locs disabled)
+  (warnings (no_keep_locs disabled))
 
 Now we demonstrate how this warning can be deleted:
 
diff --git a/test/blackbox-tests/test-cases/install/install-glob/install-glob-relative.t b/test/blackbox-tests/test-cases/install/install-glob/install-glob-relative.t
index dafa07f65d70..50fd585a23ea 100644
--- a/test/blackbox-tests/test-cases/install/install-glob/install-glob-relative.t
+++ b/test/blackbox-tests/test-cases/install/install-glob/install-glob-relative.t
@@ -36,7 +36,7 @@ Incorrect install stanza that would place files outside the package's install di
   stanzas beginning with .. will be disallowed to prevent a package's installed
   files from escaping that package's install directories.
   Hint: To disable this warning, add the following to your dune-project file:
-  (escaping_paths_in_install_stanza disabled)
+  (warnings (escaping_paths_in_install_stanza disabled))
   File "stanza/dune", line 2, characters 24-38:
   2 |  (files (glob_files_rec ../stuff/*.txt))
                               ^^^^^^^^^^^^^^
@@ -45,7 +45,7 @@ Incorrect install stanza that would place files outside the package's install di
   stanzas beginning with .. will be disallowed to prevent a package's installed
   files from escaping that package's install directories.
   Hint: To disable this warning, add the following to your dune-project file:
-  (escaping_paths_in_install_stanza disabled)
+  (warnings (escaping_paths_in_install_stanza disabled))
 
 Test that we can disable the warning:
   $ cat >>dune-project <<EOF
diff --git a/test/blackbox-tests/test-cases/start-install-dst-with-parent-error.t b/test/blackbox-tests/test-cases/start-install-dst-with-parent-error.t
index 8234cc063283..bade2b1dac57 100644
--- a/test/blackbox-tests/test-cases/start-install-dst-with-parent-error.t
+++ b/test/blackbox-tests/test-cases/start-install-dst-with-parent-error.t
@@ -28,7 +28,7 @@ Test that we get a warning if `(files ...)` has a dst starting with "..":
   beginning with .. will be disallowed to prevent a package's installed files
   from escaping that package's install directories.
   Hint: To disable this warning, add the following to your dune-project file:
-  (escaping_paths_in_install_stanza disabled)
+  (warnings (escaping_paths_in_install_stanza disabled))
   lib: [
     "_build/install/default/lib/foo/META"
     "_build/install/default/lib/foo/dune-package"
@@ -56,7 +56,7 @@ Test that we get a warning if `(dirs ...)` has a dst starting with "..":
   beginning with .. will be disallowed to prevent a package's installed files
   from escaping that package's install directories.
   Hint: To disable this warning, add the following to your dune-project file:
-  (escaping_paths_in_install_stanza disabled)
+  (warnings (escaping_paths_in_install_stanza disabled))
   lib: [
     "_build/install/default/lib/foo/META"
     "_build/install/default/lib/foo/dune-package"
@@ -84,7 +84,7 @@ Test that we get a warning if `(dirs ...)` has a dst that is exactly "..":
   with .. will be disallowed to prevent a package's installed files from
   escaping that package's install directories.
   Hint: To disable this warning, add the following to your dune-project file:
-  (escaping_paths_in_install_stanza disabled)
+  (warnings (escaping_paths_in_install_stanza disabled))
   lib: [
     "_build/install/default/lib/foo/META"
     "_build/install/default/lib/foo/dune-package"
@@ -109,7 +109,7 @@ Test that we get get a warning if the ".." is the result of variable expansion:
   beginning with .. will be disallowed to prevent a package's installed files
   from escaping that package's install directories.
   Hint: To disable this warning, add the following to your dune-project file:
-  (escaping_paths_in_install_stanza disabled)
+  (warnings (escaping_paths_in_install_stanza disabled))
   lib: [
     "_build/install/default/lib/foo/META"
     "_build/install/default/lib/foo/dune-package"
@@ -165,7 +165,7 @@ Test that we get a warning if the ".." comes from the prefix of a glob:
   stanzas beginning with .. will be disallowed to prevent a package's installed
   files from escaping that package's install directories.
   Hint: To disable this warning, add the following to your dune-project file:
-  (escaping_paths_in_install_stanza disabled)
+  (warnings (escaping_paths_in_install_stanza disabled))
   lib: [
     "_build/install/default/lib/foo/META"
     "_build/install/default/lib/foo/dune-package"
diff --git a/test/blackbox-tests/test-cases/syntax-versioning.t b/test/blackbox-tests/test-cases/syntax-versioning.t
index 539c33418be9..a78eb5313f7b 100644
--- a/test/blackbox-tests/test-cases/syntax-versioning.t
+++ b/test/blackbox-tests/test-cases/syntax-versioning.t
@@ -50,5 +50,5 @@ Since 3.0.0, jbuild files are plain ignored:
        ^^^^^^^^^^^^^^
   Warning: no_keep_locs is a no-op. Please delete it.
   Hint: To disable this warning, add the following to your dune-project file:
-  (no_keep_locs disabled)
+  (warnings (no_keep_locs disabled))
   $ rm -f dune