From 7baf345953c46b604dd8000a472b2a436c3fe18b Mon Sep 17 00:00:00 2001
From: Michael George <michael@certora.com>
Date: Tue, 31 Oct 2023 09:46:53 -0400
Subject: [PATCH] simplified and vaguified the instructions

---
 docs/user-guide/getting-started/install.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/user-guide/getting-started/install.md b/docs/user-guide/getting-started/install.md
index 806d05f3..056cbaf6 100644
--- a/docs/user-guide/getting-started/install.md
+++ b/docs/user-guide/getting-started/install.md
@@ -231,7 +231,8 @@ follow the next steps:
     source .zshenv
     ```
 
-When running the Certora Prover in the Visual Studio Code Extension, you need to restart your computer to apply your changes effectively. This will lead otherwise to an error: ```DEBUG: https://prover.certora.com/ "POST /v2/cli/verify HTTP/1.1" 403 447```
+When running the Certora Prover in the Visual Studio Code Extension, you may need
+to restart VSCode or your computer.
 
 </details>