diff --git a/doc/metals.txt b/doc/metals.txt
index a83a946..0280cc1 100644
--- a/doc/metals.txt
+++ b/doc/metals.txt
@@ -158,7 +158,7 @@ example below shows: >
 
   metals_config = require("metals").bare_config()
   metals_config.settings = {
-    showImplicitArguments = true,
+    verboseCompilation = true,
     excludedPackages = {
       "akka.actor.typed.javadsl",
       "com.github.swagger.akka.javadsl"
@@ -197,9 +197,6 @@ _ones that are sent and used by the server_
   * |scalafixRulesDependencies|
   * |scalafmtConfigPath|
   * |serverProperties|
-  * |showImplicitArguments|
-  * |showImplicitConversionsAndClasses|
-  * |showInferredType|
   * |superMethodLensesEnabled|
   * |verboseCompilation|
 
@@ -488,30 +485,6 @@ that it is installed. If you need to check what version you're currently
 using, you can use the |MetalsInfo| command. NOTE: that `latest.snapshot` is
 also available as a value to install whatever the latest snapshot is.
 
-showImplicitArguments                                    *showImplicitArguments*
-
-Type: boolean ~
-Default: false ~
-
-When this option is enabled, each method that has implicit arguments has them
-displayed as extra info in the hover.
-
-showImplicitConversionsAndClasses            *showImplicitConversionsAndClasses*
-
-Type: boolean ~
-Default: false ~
-
-When this option is enabled, each place where an implicit method or class is
-used has it displayed as extra info in the hover.
-
-showInferredType                                              *showInferredType*
-
-Type: boolean ~
-Default: false ~
-
-When this option is enabled, each method that can have inferred types has them
-displayed as extra info in the hover.
-
 serverProperties                                              *serverProperties*
 
 Type: table ~
@@ -1140,7 +1113,7 @@ toggle_setting({setting})
 
                            Example usage: >
 
-    lua require("metals").toggle_setting("showImplicitArguments")
+    lua require("metals").toggle_setting("verboseCompilation")
 <
 
                                                                 *type_of_range()*
diff --git a/tests/tests/config_spec.lua b/tests/tests/config_spec.lua
index a665e5c..702d26b 100644
--- a/tests/tests/config_spec.lua
+++ b/tests/tests/config_spec.lua
@@ -45,12 +45,12 @@ describe("config", function()
   it("should persist the config in cache", function()
     local bare_config = require("metals.setup").bare_config()
     bare_config.settings = {
-      showImplicitArguments = true,
+      verboseCompilation = true,
     }
 
     local valid_config = config.validate_config(bare_config, current_buf)
 
-    eq(valid_config.settings, { metals = { superMethodLensesEnabled = true, showImplicitArguments = true } })
+    eq(valid_config.settings, { metals = { superMethodLensesEnabled = true, verboseCompilation = true } })
 
     local cache = config.get_config_cache()