GitHub adds an annoying and buggy double-scroll that happens every time a comment is focused.

I think the reason behind this is the fixed header: when a comment is focused, by default it ends up under the header, so GitHub tries to push it lower.

The problem is that this fix is visible and buggy (you can see that the position changes every time you focus a comment)