Comment by ZeWaka

5 days ago

I think this author would benefit from using the Refined GitHub browser extension, which fixes a lot of these problems.

I think people shouldn't go installing random browser extensions like they shouldn't go installing random package manager packages, which is part of his argument