Github PRs are getting much better, and that's good! One thing missing for me now is an interdiff feature. E.g. show me the diff minus <some initial commit tha

Github PRs are getting much better, and that's good! One thing missing for me now is an interdiff feature. E.g. show me the diff minus <some initial commit that's a big vendor commit>. @<username> is a pretty common pattern for mentioning people for reviews right now. Any chance we get a text shortcut for adding reviewers? Not strictly necessary but a nice-to-have