Software developers like customizable tools.
That's why IDEs still have "vim keybindings" and many other options.
Your user is highly skilled - let him decide what he wants to see.
Metrics definitely lie, but generally in a different way to users/others. It's important to not let the metric become the goal, which is what often happens in a metric-heavy environment (certainly Google & FB, not sure about the rest of big tech).
The user is highly skilled; let them filter out what is important
This should be better than adding an indeterminate number of toggles and settings, no?
verbose i think puts it on the TUI and i cant particularly grep or sed on the TUI