Changed my mind, I agree with the window manager thing and that dev tools should be separate. However, ubiquitous dev tools are really nice when, as a developer

Changed my mind, I agree with the window manager thing and that dev tools should be separate. However, ubiquitous dev tools are really nice when, as a developer, you're trying to figure out why a page doesn't work for that one user that has 20 extensions and 5 viruses and you don't have to ask them to install anything extra.