"""proteus.web — interface publishing. local (stdlib single-user) + arena (skeleton)."""