Wait till someone points out that dev tools are not useful to the average user and should exist as a separate extension.
Where's the line?
Where's the line?
For example, I know several non-technical users who use the built-in dev tools to remove the annoying overlays that some sites show, but that don't allow to be hidden without logging in or something dumb like that.
These users don't really know what the DOM is, but they do know that they can open the dev tools, click the node selection button, click on the overlay they want to get rid of, press the Delete key, and now they're able to use the site again.
I think you missed the GP's point. Bookmarks can also be very useful to average users. One man's trash is another man's dev tools or whatever.
Drawing a clear line between what's essential for a browser and what's bloat probably isn't possible for any decent sized group of users.
I think it was a login prompt overlay shown on business profile pages. These users didn't want to log in to Facebook, yet needed to view the business' Facebook page. The overlay would cover a significant portion of the page, without any good way to get rid of it. So the users would use the dev tools to clean up the page, essentially, even if they didn't really know what they were doing.