Fix IDE wording

website/docs/introduction/navigating-labs.md

@@ -49,7 +49,7 @@ Depending on your browser the first time you copy/paste content in to the VSCode
 
 ## Terminal commands
 
-Most of the interaction you will do in this workshop will be done with terminal commands, which you can either manually type or copy/paste to the Cloud9 IDE terminal. You will see this terminal commands displayed like this:
+Most of the interaction you will do in this workshop will be done with terminal commands, which you can either manually type or copy/paste to the IDE terminal. You will see this terminal commands displayed like this:
 
 ```bash test=false
 $ echo "This is an example command"