serve on port 80 — pedal.local works without :8080

Changed DEFAULT_PORT to 80 so the UI is accessible at
http://pedal.local/ directly (no port needed).

Killed orphaned old port-80 instance that was running stale code.

src/web/server.py

@@ -53,7 +53,7 @@ logger = logging.getLogger(__name__)
 # ── Defaults ─────────────────────────────────────────────────────────────────
 
 DEFAULT_HOST = "0.0.0.0"
-DEFAULT_PORT = 8080
+DEFAULT_PORT = 80
 STATIC_DIR = Path(__file__).resolve().parent / "static"
 
 # v2 UI dist (the only UI we serve)
@@ -2824,7 +2824,7 @@ def main():
     ws = WebServer(deps)
     ws.start()
 
-    logger.info("Dev server running on http://0.0.0.0:8080")
+    logger.info("Dev server running on http://%s:%d", ws.host, ws.port)
     try:
         loop = asyncio.get_event_loop()
         loop.run_forever()