[crgwbr]

I don’t think that’s true for devtools. I use FF devtools ever day, and it frequently crashes. Even the view source page has horrible performance issues when using cmd+f.