chore(infra): Follow the DC to office host moves

magrathea, caveman, nikola and frootmig moved from kosherinata (DC) to
hanzalova (office) on 2026-11-01 and were renamed accordingly:

  magrathea.hanzalova.internal  10.6.0.194  (postgres primary)
  caveman.hanzalova.internal    10.6.0.186  (minio, gitea)
  nikola.hanzalova.internal     10.6.0.173
  frootmig.hanzalova.internal   10.6.0.131

The old *.kosherinata.internal names remain as transitional DNS aliases
and will be removed once deploys use the new names.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01TzeoVkZAgsEiJaTpxRZ42Q

script/infra-setup.sh

@@ -37,7 +37,7 @@ set -euo pipefail
 API_HOST="${API_HOST:-bob.hanzalova.internal}"
 API_PORT="${API_PORT:-25864}"
 EDGE_HOST="${EDGE_HOST:-oolon.kosherinata.internal}"
-PG_PRIMARY="${PG_PRIMARY:-magrathea.kosherinata.internal}"
+PG_PRIMARY="${PG_PRIMARY:-magrathea.hanzalova.internal}"
 # The standby needs the same ident mapping: pg_ident.conf contents are NOT
 # replicated, and a failover to a server missing it locks the app out.
 PG_STANDBY="${PG_STANDBY:-frankie.hanzalova.internal}"