Record the v0.4.0 release: the gate, the MCP proxy, and upgrading to v0.4
Bring every page in line with v0.3.0
Document operator cancel
Write the wiki: user, developer, operations, and design pages