Hi all, On a tip from Ben, I'm using Chrome to review a large patch (!7033 for the curious). It is qualitatively better than Firefox, my usual tool. I will be routinely using Chrome to review large patches from now on. You may want to, too. Richard