Agree. Except, to be very pedantic, with this?

> then you've basically just succumbed to Goodhart's Law

We're talking about adding more metrics that should be considered, and treating or not treating them as the ultimate goal is orthogonal to choosing the set of metrics! Product metrics don't save from goodharting