Check if a tool name is a PR activity subscription tool.
bool isPrActivitySubscriptionTool(String name) { return _prActivityToolSuffixes.any((suffix) => name.endsWith(suffix)); }