pf comments on Feedbackloop-first Rationality

[pf]

Consider sharing more details at the Lean Zulip chat—they enjoy hearing about unformalized areas.