UI improvements to GitHub PRs
Adapts the PR sidebar to the lengths of the file names;
Lets you resize the sidebar yourself;
Dims and folds reviewed files and folders in the pull request tree;
Highlights in the tree the visible files you're reviewing on the right pane.
Pin the extension and select the options that suit you!