v1.4.2

What's Changed

• docs: theme the Javadoc site like krabka.io by @robot-head in #49
• chore: register agent-lsp as a project MCP server by @robot-head in #50
• docs: lay the Javadoc site out cleanly on phones by @robot-head in #51
• chore(release): prepare v1.4.2 by @robot-head in #53

Full Changelog: v1.4.1...v1.4.2