Okay, after a week with Firefox: slightly better extensions, perceptibly slower than Safari, bigger and clunkier window chrome, takes a weirdly long time to quit, loses formatting when pasting rich text into web forms where Safari doesn’t. On balance: sigh.