I like how the page is actually struggling to load due to the sheer amount of bot activity on the PR.

On a completely unrelated note, I wonder why Github is always down. Real mystery there.