[Development] [FYI] if you find diffing in gerrit slow ...

[Oswald Buddenhagen]

... then use chrome/chromium.
because the slowness is coming from gerrit running massive amounts of js
in your browser, and chrome is literally an order of magnitude faster at
it than firefox (no clue about ie).
if you already use it, well, tough luck. get a cryo-cooled cpu, or
something.
if you hate it (like i do), tough luck, too - it won't get better until
we upgrade to gerrit 2.11 (presumably), which is more than half a year
in the future.

on the bright side, many of the smaller annoyances which resulted from
the upgrade will be resolved somewhat soon.

this, btw, also means that i'll be finally able to actually run the
auto-abandoning of stale changes, so it would be a good idea to do
another round of pings/cleanup/deferring yourself.