Oops.

Cheers, n_b_t.

I might have worked that out.

Eventually. (Cue red face.)

I quite like Firefox 9 so far, though. Seem to have the formatting options back here, and I believe it might be slightly quicker than the old version.

Judging from the fact that I keep opening new windows instead of tabs, I assume those functions have been swapped around. And is there a loading bar anywhere? Always found it quite useful on this site, in deciding whether to hang on for a page to load or whether to try again or take a coffee break.