The GitHub MCP Registry: The Fastest Way to Discover MCP Servers