[ZeWaka]

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

[sevenseacat]

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