How much faster are agents with WebMCP? | Hacker News Reader