Add missing friendly names for tools

[FokkoVeegens]

Unknown Tools Found

The following tools were detected but don't have friendly display names:

• click_element
• mcp_github_pull_request_read
• mcp_microsoftdocs_microsoft_docs_search
• type_in_page

Please add friendly names for these tools to improve the user experience.

[github-actions]

Tagging @rajbos for notifications

[github-actions]

🔍 Toolnames Checkup

Checked the tool names in this issue against vscode-extension/src/toolNames.json on the main branch:

❌ Not yet in toolNames.json

Tool Name
click_element
mcp_github_pull_request_read
mcp_microsoftdocs_microsoft_docs_search
type_in_page

4 tool name(s) still need to be added. Please use the tool-names custom agent or update vscode-extension/src/toolNames.json manually.

Workflow run: https://github.com/rajbos/github-copilot-token-usage/actions/runs/24550966479