It was also very slow last week, moving between patches takesmany 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.
Nir