plugins/coq-nvim: remove settings.auto_start option

It's removed & deprecated in upstream's v2 plugin.

plugins/by-name/coq-nvim/default.nix

@@ -4,7 +4,6 @@
   ...
 }:
 let
-  inherit (lib) types;
   inherit (lib.nixvim) defaultNullOpts;
 in
 lib.nixvim.plugins.mkNeovimPlugin {
@@ -31,10 +30,6 @@ lib.nixvim.plugins.mkNeovimPlugin {
 
   callSetup = false;
   settingsOptions = {
-    auto_start = lib.nixvim.mkNullOrOption (
-      with types; maybeRaw (either bool (enum [ "shut-up" ]))
-    ) "Auto-start or shut up";
-
     keymap.recommended = defaultNullOpts.mkBool true "Use the recommended keymaps";
 
     completion.always = defaultNullOpts.mkBool true "Always trigger completion on keystroke";

plugins/by-name/coq-nvim/deprecation.nix

@@ -15,5 +15,10 @@ in
       assertion = !(cfg.settings ? xdg);
       message = "xdg has been removed in v2. The field is ignored — delete it from `${opts.settings}`.";
     }
+    # TODO: Added 2026-06-15; remove after 27.11
+    {
+      assertion = !(cfg.settings ? auto_start);
+      message = "auto_start has been removed in v2. The field is ignored — delete it from `${opts.settings}`.";
+    }
   ];
 }

tests/test-sources/plugins/by-name/coq-nvim/default.nix

@@ -8,7 +8,6 @@
       enable = true;
 
       settings = {
-        auto_start = true;
         keymap.recommended = true;
         completion.always = true;
       };