>>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.
That depends on perspective...development tool improvements can speed up development time, which in turn can benefit the user...
The Anonymous Bureaucrat,
and frankly, quite content not to be
a member of either major US political party.
