Dev tools (<c>devtools</c>, F11) in an editor dock. In the editor they live here rather than in a window of their
own: the dock draws the same panels on a Editor.PanelSurfaceWidget, and opening dev tools opens this dock.
They count as open while the dock is on screen, so the data behind them is only collected while someone can see it.