I find the first sentence fascinating, "Yesterday morning, August 5, a Firefox user informed us...".
I'd love to know more about this person and their skill set. How was the exploit detected and isolated? How did this issue get reported and resolved in s day?
Assuming the Mozilla way, I wonder what the bugzilla report will read when it comes out of embargo.