[hollerith]

A few hours after I wrote this, my FF updated itself (to version 20.0) and became much, much more responsive!