chore: update index

Katie Horne · Katie Horne · commit 4e51be669c17 · 2022-06-15T14:21:08.000-05:00
diff --git a/docs/index.md b/docs/index.md
@@ -21,3 +21,4 @@
   - [Editors and IDEs](./workspaces.md#editors-and-ides)
   - [Workspace lifecycle](./workspaces.md#workspace-lifecycle)
   - [Updating workspaces](./workspaces.md#updating-workspaces)
+- [IDEs](./ides.md)
