Good points, tediously made. Metrics are problematic, both in expected and in surprising ways. Once you target a metric instead of using it, you have lost.