Would anybody else appreciate an "auto" option for Dev Tools theme?

Developer Tools
2

I think that would be great, though I personally probably wouldn’t use it. I really like my light dev tools, no matter my system theme.