Change host port from 8080 to 8888

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PbwKCCj1vwAoqgRYDoqgeL

DEPLOYMENT.md

@@ -10,13 +10,13 @@ docker compose up -d --build
 ```
 
 This builds the image from `Dockerfile` (nginx serving `index.html`) and
-exposes it on `http://<docker-host>:8080`. Check it directly first:
+exposes it on `http://<docker-host>:8888`. Check it directly first:
 
 ```bash
-curl http://localhost:8080/healthz   # -> ok
+curl http://localhost:8888/healthz   # -> ok
 ```
 
-Change the `8080:80` mapping in `docker-compose.yml` if that port is taken.
+Change the `8888:80` mapping in `docker-compose.yml` if that port is taken.
 
 ## 2. Point Caddy at it
 
@@ -29,7 +29,7 @@ Add a block like this to your existing `Caddyfile` (replace
 
 ```caddyfile
 drums.example.com {
-    reverse_proxy localhost:8080
+    reverse_proxy localhost:8888
 }
 ```
 
@@ -38,7 +38,7 @@ host's address or internal hostname instead of `localhost`:
 
 ```caddyfile
 drums.example.com {
-    reverse_proxy 10.0.0.5:8080
+    reverse_proxy 10.0.0.5:8888
 }
 ```