Make sure students are running the latest version of Metals for 3.0.0-RC1 support

labs/example-lab.md

@@ -82,6 +82,14 @@ Time to go fix that bug! The next section will show you how to do that using the
 
 ## Part 3: Using the IDE
 
+### Setup
+
+Let's upgrade the IDE support first, close VSCode if it's open and run:
+
+```shell
+code --force --install-extension scalameta.metals
+```
+
 ### Startup
 
 To start Code, run the following in the project directory (the same directory where you

labs/lab1-parallel-box-blur-filter/README.md

 # Parallel Box Blur Filter
 
+## Setup
+
+Let's upgrade the IDE support first, close VSCode if it's open and run:
+
+```shell
+code --force --install-extension scalameta.metals
+```
+
 Use the following commands to make a fresh clone of your repository:
 
 ```