src/Tools/VSCode/extension/src/documentation_panel.ts

--- a/src/Tools/VSCode/extension/src/documentation_panel.ts	Sun Oct 26 19:38:38 2025 +0100
+++ b/src/Tools/VSCode/extension/src/documentation_panel.ts	Sun Oct 26 20:46:09 2025 +0100
@@ -30,8 +30,7 @@
 
   request(language_client: LanguageClient) {
     if (language_client) {
-      this._language_client.sendNotification(lsp.documentation_request_type, { init: true });
-
+      this._language_client.sendNotification(lsp.documentation_request_type);
     }
   }