GitHub issues with more than 20 comments get horrendously laggy for me these days. It wasn't like that before.