Teams filter uses team name rather than slug
Hi there, I was struggling to get the teams filter working in your extension (I love your extension, by the way). Let's say I have a team with name "My Team" in organization "MyOrg". GitHub assigns a slug to that team automatically (my-team), and the web UI says to reference the team as @MyOrg/my-team.
With that knowledge of how teams work in the web UI, I would've expected to list that team in PR Monitor as "@MyOrg/my-team" or "MyOrg/my-team" or even just "my-team". It took a bunch of poking around to figure out that PR Monitor wants "My Team". I'd mention too that team names are allowed to include commas, but since the extension wants a comma-separated list of team names, presumably it's impossible to list such a team there?
I realize you wouldn't want to change the expectation entirely, lest you break current usage. It'd be nice if the extension also recognized slugs though. It'd also be nice if organization names could be supplied as prefixes. That would allow a user to show PRs from @MyFirstOrg/my-team, but not show them from @MySecondOrg/my-team.
Anyway, thanks for reading, and thanks for your work on the extension!