Updating to Instruqt

Author: ajosh0504

docs/20-dev-env/2-dev-env-setup.mdx

@@ -1,3 +1,5 @@
+import Tabs from '@theme/Tabs';
+import TabItem from '@theme/TabItem';
 import Screenshot from "@site/src/components/Screenshot";
 
 # 👐 Setup dev environment
@@ -6,9 +8,20 @@ import Screenshot from "@site/src/components/Screenshot";
 In this lab, we will be using Jupyter Notebooks, which is an interactive Python environment. If you are new to Jupyter Notebooks, use <a href="./jupyter-notebooks">this</a> guide to familiarize yourself with the environment.
 :::
 
-## Option 1: GitHub Codespaces
+You have a few different options to run this lab. **Our preferred platform is Instruqt**.
 
-You will be working in GitHub Codespaces throughout this lab. A codespace is a cloud-hosted, containerized development environment that comes pre-configured with all the tools you need to run this lab.
+If for some reason, you are unable to access the lab through Instruqt, try GitHub Codespaces. If neither of these work, or if you really, really, really want a local installation, only then run the lab locally.
+
+<Tabs groupId="setup options">
+<TabItem value="Instruqt" label="Instruqt">
+
+Instruqt
+
+</TabItem>
+
+<TabItem value="GitHub Codespaces" label="GitHub Codespaces">
+
+A codespace, much like Instruqt, is a cloud-hosted development environment from GitHub, that comes pre-configured with all the tools you need to run this lab.
 
 Navigate to [this](https://github.com/codespaces/new/mongodb-developer/genai-devday-notebooks?quickstart=1) link. You will be prompted to sign into GitHub if you haven't already. Once signed in, click the **Create new codespace** button to create a new codespace.
 
@@ -18,9 +31,9 @@ Let it run for a few seconds as it prepares a Docker container with all the requ
 
 ### Connect to the MongoDB cluster
 
-Once the environment is built, you will be prompted to connect to the MongoDB cluster via MongoDB's VSCode extension. This will allow you to visualize the data that we will import into the cluster later in the lab, directly from the VSCode IDE.
+Later in the lab, we will import data into the MongoDB cluster that you can view directly from the VSCode IDE. But first, you will need to connect to the cluster.
 
-To connect to the cluster, click the leaf icon in the left navigation bar of the IDE.
+To do this, click the leaf icon in the left navigation bar of the IDE.
 
 <Screenshot url="https://github.com/codespaces" src="img/screenshots/20-dev-env/2-dev-env-setup/2-click-leaf.png" alt="Click leaf icon" />
 
@@ -54,11 +67,9 @@ In the modal that appears, click **Python environments...** and select the inter
 
 That's it! You're ready for the lab!
 
-## Option 2: Run locally
+</TabItem>
 
-:::caution
-During the lab, we will use GitHub Codespaces. These instructions are here just in case you can't use Codespaces or if you really, really, really want a local installation.
-:::
+<TabItem value="Run locally" label="Run locally">
 
 To run the lab locally, follow the steps below: 
 
@@ -96,4 +107,8 @@ jupyter notebook
 
 * In the browser tab that pops up, open the file named `vector-search-lab.ipynb`.
 
-<Screenshot url="localhost:8888/tree" src="img/screenshots/20-dev-env/2-dev-env-setup/9-jupyter-notebook.png" alt="Jupyter Notebook" />
+<Screenshot url="localhost:8888/tree" src="img/screenshots/20-dev-env/2-dev-env-setup/1-jupyter-notebook.png" alt="Jupyter Notebook" />
+
+</TabItem>
+
+</Tabs>