GitHub Copilot MCP Usage Metrics Without False Signals

GitHub's latest Copilot usage metrics update finally names things. Instead of lumping every extension...