diff --git a/docs/images/vscode_macos_165.png b/docs/images/vscode_macos_165.png
new file mode 100644
index 0000000..6f39e2a
Binary files /dev/null and b/docs/images/vscode_macos_165.png differ
diff --git a/docs/images/vscode_wsl_163.png b/docs/images/vscode_wsl_163.png
new file mode 100644
index 0000000..03b0636
Binary files /dev/null and b/docs/images/vscode_wsl_163.png differ
diff --git a/docs/images/vscode_wsl_164.png b/docs/images/vscode_wsl_164.png
new file mode 100644
index 0000000..658096a
Binary files /dev/null and b/docs/images/vscode_wsl_164.png differ
diff --git a/docs/images/vscode_wsl_165.png b/docs/images/vscode_wsl_165.png
new file mode 100644
index 0000000..690e9f7
Binary files /dev/null and b/docs/images/vscode_wsl_165.png differ
diff --git a/docs/setup_vscode_macos.md b/docs/setup_vscode_macos.md
index 092160c..5c45f2a 100644
--- a/docs/setup_vscode_macos.md
+++ b/docs/setup_vscode_macos.md
@@ -51,7 +51,11 @@ $ code
Click to install the EECS 280 extension: [](vscode:extension/eecs280.setup280)
-Verification runs automatically and prompts you to fix any issues it finds. The extension installs the C/C++ and CodeLLDB extensions and disables AI features for you, so if everything passes you can skip to [Create a project](#create-a-project).
+The extension installs the C/C++ and CodeLLDB extensions, disables AI features, and runs a few checks
+
+
+
+If everything passes you can skip to [Create a project](#create-a-project).
If you'd rather learn how VS Code works, follow the manual instructions below, which produce the same result.
diff --git a/docs/setup_vscode_wsl.md b/docs/setup_vscode_wsl.md
index 6968fe1..bc733ed 100644
--- a/docs/setup_vscode_wsl.md
+++ b/docs/setup_vscode_wsl.md
@@ -47,10 +47,22 @@ Open VS Code. You can skip the welcome screen.
Click to install the EECS 280 extension: [](vscode:extension/eecs280.setup280)
-Verification runs automatically and prompts you to fix any issues it finds. The extension installs the WSL and C/C++ extensions, connects VS Code to WSL, and disables AI features for you, so if everything passes you can skip to [Create a project](#create-a-project).
+The extension installs the WSL and C/C++ extensions, connects VS Code to WSL, and disables AI features, and runs a few checks.
+
+You may need to reopen in WSL and reload the setup280 extension.
+
+
+
+
+
+You should see this at the end:
+
+
If you'd rather learn how VS Code works, follow the manual instructions below, which produce the same result.
+If everything passes you can skip to [Create a project](#create-a-project).
+
### Disable AI Features
VS Code includes some AI-assisted coding tools (e.g. Copilot) by default. Disable these for your work in EECS 280 - using these tools for course projects is against the EECS 280 [Generative AI Policy](https://eecs280.org/syllabus.html#generative-ai-policy), and using AI as you're learning to write code prevents you from developing your own foundational programming skills.