It was also very slow last week, moving between patches takes

many seconds.

It seems that there is some caching mechanism in gerrit, so after very

slow page retrieval, the next request is fast. But this happens too many

times. 

We need to understand why this slowdown happens and make sure

the system is kept responsive.