Issue and username hovers from the GitHub Pull Requests and Issues extension

The GitHub Pull Requests and Issues extension adds hovers for @ user mentions and # issues numbers.

These work in any file type and add useful context directly in VS Code.