MCP server for Dash, the macOS documentation browser - View it on GitHub