>What is it that you could put in a dev tool to benefit a user?

If a feature does not in some way benefit the user, then it probably shouldn't be in the dev tool.