Add gitpod deprecation note to envsetup, instead of docs homepage

Author: ewels

docs/envsetup/index.md

@@ -9,3 +9,15 @@ If you already have a GitHub Codespaces account, click on the button below, othe
 Let's get started!
 
 [![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/nextflow-io/training?quickstart=1&ref=master)
+
+For more detailed instructions for GitHub Codespaces, see the [GitHub Codespaces env-setup docs](01_setup.md).
+If you cannot use GitHub Codespaces and wish to use a local development environment, see the [documentation for local installation](02_local.md).
+
+!!! note
+
+    Nextflow Training used to use [Gitpod](https://gitpod.io) until February 2025.
+    However, the makers of Gitpod have decided to retire the free functionality in favor of their new [Gitpod Flex](https://www.gitpod.io/blog/introducing-gitpod-flex) system.
+    For that reason, we have switched to using GitHub Codespaces, which also offer a one-click developer environment with no prior setup.
+
+    Depending on when you signed up to GitPod and when exactly they retire the service, you may still be able to launch the training in their old cloud IDE, though we cannot guarantee reliable access going forward:
+    [Open in Gitpod](https://gitpod.io/#https://github.com/nextflow-io/training).

docs/index.md

@@ -22,15 +22,6 @@ When you're ready to get down to work, click on the 'Open in GitHub Codespaces'
 
 [![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/nextflow-io/training?quickstart=1&ref=master)
 
-!!! note
-
-    Nextflow Training used to use [Gitpod](https://gitpod.io) until February 2025.
-    However, the makers of Gitpod have decided to retire the free functionality in favor of their new [Gitpod Flex](https://www.gitpod.io/blog/introducing-gitpod-flex) system.
-    For that reason, we have switched to using GitHub Codespaces, which also offer a one-click developer environment with no prior setup.
-
-    Depending on when you signed up to GitPod and when exactly they retire the service, you may still be able to launch the training in their old cloud IDE, though we cannot guarantee reliable access going forward:
-    [Open in Gitpod](https://gitpod.io/#https://github.com/nextflow-io/training).
-
 ## Training Environment Setup
 
 !!! exercise "Environment Setup"