Update outer menu as well

mkdocs.yml

@@ -36,12 +36,15 @@ nav:
     - Best Practices for Writing Notebooks: user-guides/class_notebooks_best_practices.md
     - Logging Out and Server Shutdown: user-guides/logging_out_and_server_shutdown.md
   - Developer Guide:
+    - OpenScienceLab: dev-guides/about_opensciencelab.md
+    - Build and Deploy the Portal: dev_guide/build_and_deploy_portal.md
+    - Build and Deploy OpenSARLab Image: dev_guide/build_and_deploy_opensarlab_image.md
+    - Build and Deploy OpenSARLab Cluster: dev_guide/build_and_deploy_opensarlab_cluster.md
+    - (DEPEC) Deploy OpenSARLab to AWS: dev-guides/deploy_OpenSARLab.md
     - System Diagram: assets/system_diagrams/OpenSARLab_system_diagram_June_2021.png
-    - Deploy OpenSARLab to AWS: dev-guides/deploy_OpenSARLab.md
-    - Destroy Deployments: dev-guides/destroy_deployment.md
     - Conda Environment Options: dev-guides/conda_environments.md
-    - Notifications: dev-guides/notifications.md
-    - Troubelshooting Guide: dev-guides/troubleshooting.md
+    - OpenSARLab Notifications: dev-guides/notifications.md
+    - Troubleshooting: dev-guides/troubleshooting.md
     - Custom Mintpy Conda Build Instructions: dev-guides/mintpy_conda.md
   - Release Notes:
     - June 2021: release-notes/release_06-2021.md