build(ci): the deploy step is named for the instance, which it deploys whole, not learn.halkyon.eu alone

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>

.forgejo/workflows/ci.yaml

@@ -1,5 +1,7 @@
 # CI: every push of a branch runs the checks of the pre-push hook (tool/check.dart, every app's and
-# shared package's); a push to main is then deployed to learn.halkyon.eu (deploy/redeploy.sh).
+# shared package's); a push to main is then deployed to the instance on learn.halkyon.eu's server
+# (deploy/redeploy.sh): Learn's server and every service .env switches on beside it, Train's
+# and Todo's among them.
 # Both jobs run on the runner on learn.halkyon.eu's server, directly on the host as an
 # unprivileged user (deploy/runner/). A commit that passed the checks before isn't checked again
 # (see "Checked before?").
@@ -200,8 +202,9 @@ jobs:
     runs-on: sahaquiel
     timeout-minutes: 30
     steps:
-      # The key can run nothing but deploy/redeploy.sh, and only from that server itself.
-      - name: Deploy to learn.halkyon.eu
+      # The key can run nothing but deploy/redeploy.sh, and only from that server itself. It
+      # deploys every service there, whichever domain each serves (learn., train., todo.).
+      - name: Deploy the instance
         run: >-
           ssh -i "$HOME/.ssh/deploy_trigger" -o IdentitiesOnly=yes -o BatchMode=yes
           -o StrictHostKeyChecking=yes -o UserKnownHostsFile="$HOME/.ssh/known_hosts"