[franky47]

Refined GitHub [1] still does (for things like PR approvals & automations), and it feels odd indeed. Still worth adding on top of the stock UI.

[1] https://github.com/refined-github/refined-github