Argh! I’m running into a hard-to-reproduce bug with Mozilla. It crashes sometimes when I’m editting in a <textarea>.