Fix case-insensitive tool name lookup and remove duplicate entries#623

rajbos merged 1 commit intomainrajbos/github-copilot-token-usage:mainfrom

rajbos/fix-case-insensitive-tool-name-lookuprajbos/github-copilot-token-usage:rajbos/fix-case-insensitive-tool-name-lookupCopy head branch name to clipboard