By the way, if you appreciate irony, note that Zvi Har'El, who analyzed this bug 9 years ago (see above), is my father. He unfortunately died 8 years ago, and today I ran into the same bug. My daughter already reached the age that she started to use Firefox too, so soon she'll probably run into this bug too, and this will have become a 3-generation bug...