chore: the SSH aliases and CI's runner label keep the servers' names

The servers' names are no secret, so the settings that carry them stay
as they were, and nothing on a server or a laptop needs changing: CI
runs on `sahaquiel` again, the release uploads to `ramiel-fdroid`, and
deploys by hand go through `sahaquiel-deploy`. Prose still names a
server by the domain it serves, which says what a reader needs.

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

deploy/redeploy.sh

@@ -14,7 +14,7 @@
 # and fails unless that server answers afterwards. A failure leaves the checkout at the deployed commit, so
 # running the CI job again retries. By hand, with your own key:
 #
-#   ssh learn-deploy halkyon-learn/deploy/redeploy.sh <commit>
+#   ssh sahaquiel-deploy halkyon-learn/deploy/redeploy.sh <commit>
 set -eu
 
 main() {