chore(docs): removes dead navigation options (#14864)

stirby · EdwardAngert · web-flow · commit cb838c86a773 · 2024-09-27T16:04:00.000-04:00
Reverts manifest additions here d7ecab5#diff-0cbcfff19a4479219e722863d8f59891658d042d3fac32fe9d9a75d650ce0524 --------- Co-authored-by: EdwardAngert <17991901+EdwardAngert@users.noreply.github.com>
diff --git a/docs/admin/monitoring/metrics.md b/docs/admin/monitoring/metrics.md
@@ -8,7 +8,7 @@ If you don't have an Prometheus server installed, you can follow the Prometheus
 [Getting started](https://prometheus.io/docs/prometheus/latest/getting_started/)
 guide.
 
-### Seting up metrics
+### Setting up metrics
 
 To set up metrics monitoring, please read our
 [Prometheus integration guide](../integrations/prometheus.md). The following
diff --git a/docs/manifest.json b/docs/manifest.json
@@ -138,85 +138,6 @@
 				}
 			]
 		},
-		{
-			"title": "Workspaces",
-			"description": "Learn about Coder workspaces.",
-			"path": "./workspaces.md",
-			"icon_path": "./images/icons/layers.svg"
-		},
-		{
-			"title": "IDEs",
-			"description": "Learn how to use your IDE of choice with Coder",
-			"path": "./ides.md",
-			"icon_path": "./images/icons/code.svg",
-			"children": [
-				{
-					"title": "Web IDEs",
-					"description": "Learn how to configure web IDEs in your templates",
-					"path": "./ides/web-ides.md"
-				},
-				{
-					"title": "JetBrains Gateway",
-					"description": "Learn how to configure JetBrains Gateway for your workspaces",
-					"path": "./ides/gateway.md"
-				},
-				{
-					"title": "JetBrains Fleet",
-					"description": "Learn how to configure JetBrains Fleet for your workspaces",
-					"path": "./ides/fleet.md"
-				},
-				{
-					"title": "Emacs",
-					"description": "Learn how to configure Emacs with TRAMP in Coder",
-					"path": "./ides/emacs-tramp.md"
-				},
-				{
-					"title": "Remote Desktops",
-					"description": "Learn how to use Remote Desktops with Coder",
-					"path": "./ides/remote-desktops.md"
-				},
-				{
-					"title": "VSCode Extensions",
-					"description": "Learn how to use extensions in VSCode with Coder",
-					"path": "./ides/vscode-extensions.md"
-				}
-			]
-		},
-		{
-			"title": "Networking",
-			"description": "Learn about networking in Coder",
-			"path": "./networking/index.md",
-			"icon_path": "./images/icons/networking.svg",
-			"children": [
-				{
-					"title": "Port Forwarding",
-					"description": "Learn how to forward ports in Coder",
-					"path": "./networking/port-forwarding.md"
-				},
-				{
-					"title": "STUN and NAT",
-					"description": "Learn how Coder establishes direct connections",
-					"path": "./networking/stun.md"
-				},
-				{
-					"title": "Troubleshooting",
-					"description": "Troubleshoot networking issues in Coder",
-					"path": "./networking/troubleshooting.md"
-				}
-			]
-		},
-		{
-			"title": "Dotfiles",
-			"description": "Learn how to personalize your workspace",
-			"path": "./dotfiles.md",
-			"icon_path": "./images/icons/art-pad.svg"
-		},
-		{
-			"title": "Secrets",
-			"description": "Learn how to use secrets in your workspace",
-			"path": "./secrets.md",
-			"icon_path": "./images/icons/secrets.svg"
-		},
 		{
 			"title": "Administration",
 			"description": "Guides for template and deployment administrators",
@@ -497,7 +418,7 @@
 						{
 							"title": "Troubleshooting",
 							"description": "Troubleshoot networking issues in Coder",
-							"path": "./networking/troubleshooting.md"
+							"path": "./admin/networking/troubleshooting.md"
 						}
 					]
 				},
diff --git a/docs/user-guides/workspace-access/jetbrains.md b/docs/user-guides/workspace-access/jetbrains.md
@@ -16,8 +16,9 @@ IDEs are supported for remote development:
 ## JetBrains Gateway
 
 JetBrains Gateway is a compact desktop app that allows you to work remotely with
-a JetBrains IDE without even downloading one.
-Visit the [JetBrains website](https://www.jetbrains.com/remote-development/gateway/) to learn more about Gateway.]
+a JetBrains IDE without even downloading one. Visit the
+[JetBrains website](https://www.jetbrains.com/remote-development/gateway/) to
+learn more about Gateway.]
 
 Gateway can connect to a Coder workspace by using Coder's Gateway plugin or
 manually setting up an SSH connection.
