diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index ef7ef196f..2383e8be7 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -75,10 +75,11 @@
     :documentation #'company-coq-doc)
 
   (if (not (featurep! :completion company))
-      (setq company-coq-disabled-features '(company company-defaults))
+      (setq company-coq-disabled-features '(hello company company-defaults))
     ;; `company-coq''s company defaults impose idle-completion on folks, so
     ;; we'll set up company ourselves.
     (add-to-list 'company-coq-disabled-features 'company-defaults)
+    (add-to-list 'company-coq-disabled-features 'hello)
     ;; See https://github.com/cpitclaudel/company-coq/issues/42
     (map! :map coq-mode-map [remap company-complete-common]
           #'company-indent-or-complete-common))