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