Comment by jeremyjh

Github can get pretty sluggish as well; if you have a pull request with lots of comments page loads begin to take a dozen seconds or more. AI code review bots make it painful for humans to use it.