[jeltz]

I restart my browser at most once per week and Firefox has never crashed for me after an update. I do not doubt that there was a risk that it could happen, but it cannot have been that common unless I was very lucky.