Add per-tool suppression for unknown tool name notifications (#560)#563

rajbos wants to merge 1 commit intomainrajbos/github-copilot-token-usage:mainfrom

feature/suppress-unknown-tool-namesrajbos/github-copilot-token-usage:feature/suppress-unknown-tool-namesCopy head branch name to clipboard