I noticed that and it was a very welcome addition.

The only problem is I don't remember Flash or FF crashing before, except some rare occasion. Now I see Flash crashes somewhat often.