pub const DEV_PROXY_PORT: u16 = 8090;Expand description
Fixed local port the proxy listens on. Chosen for this PR — nothing
else in agentmux-srv binds it (checked: no other TcpListener::bind
or config default references 8090 anywhere in this crate). See spec §5.