refactor(dns): rename frost.wbd-rd.nl → sta.wbd-rd.nl; drop redundant portainer.wbd-rd.nl

Match the short-functional naming convention used by the other vhosts
(git, auth, dash, flow, ml, hub, ops, mq, ci, mqtt). FROST implements
OGC SensorThings API, so `sta` is the natural fit.

portainer.wbd-rd.nl is dropped from deploy.sh HOSTS — there is no
nginx vhost for it; portainer is already served via ops.wbd-rd.nl.

DNS prereq for first deploy is now: create one new A record for
sta.wbd-rd.nl → cloud public IP. All other short subdomains already
point correctly.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

cloud/.env.example

@@ -74,6 +74,6 @@ JUPYTER_NOTEBOOK_IMAGE=jupyter/datascience-notebook:latest
 JUPYTERHUB_ADMIN_USERS=
 JUPYTERHUB_ADMIN_PASSWORD=
 
-# FROST (SensorThings — dedicated postgis + internal mosquitto bus, ingressed at frost.wbd-rd.nl)
+# FROST (SensorThings — dedicated postgis + internal mosquitto bus, ingressed at sta.wbd-rd.nl)
 FROST_DB_PASSWORD=
-FROST_SERVICE_ROOT_URL=https://frost.wbd-rd.nl/FROST-Server
+FROST_SERVICE_ROOT_URL=https://sta.wbd-rd.nl/FROST-Server

cloud/deploy.sh

@@ -33,8 +33,8 @@ trap 'rc=$?; [ "$rc" -ne 0 ] && printf "\n${R}DEPLOY FAILED${N} (exit $rc) at st
 HOSTS=(
   git.wbd-rd.nl   auth.wbd-rd.nl  dash.wbd-rd.nl  flow.wbd-rd.nl
   ml.wbd-rd.nl    hub.wbd-rd.nl   ops.wbd-rd.nl   mq.wbd-rd.nl
-  ci.wbd-rd.nl    mqtt.wbd-rd.nl  portainer.wbd-rd.nl
-  frost.wbd-rd.nl
+  ci.wbd-rd.nl    mqtt.wbd-rd.nl
+  sta.wbd-rd.nl
 )
 
 # ---------- 1. Preflight ----------