It’s not been mentioned enough, since the point has not generally sunk in.
For what it’s worth, I feel exactly the same way about the robustness of Goodhart and I’ll keep beating that drum as long as I have to. Luckily no one much objects that Goodharting is a problem, whereas everyone seems to be annoyed with epistemology that makes a fairly simple point that is counterintuitive to the experience of being able to make use of knowledge to do useful things, and thinking this is somehow contrary to the epistemological point being made that becomes relevant when you try to ground concepts rather than just use them as you find them.
For what it’s worth, I feel exactly the same way about the robustness of Goodhart and I’ll keep beating that drum as long as I have to. Luckily no one much objects that Goodharting is a problem, whereas everyone seems to be annoyed with epistemology that makes a fairly simple point that is counterintuitive to the experience of being able to make use of knowledge to do useful things, and thinking this is somehow contrary to the epistemological point being made that becomes relevant when you try to ground concepts rather than just use them as you find them.