You’re missing the point. He didn’t say strictly that HPMOR is his main focus, but also promoting rationality. And thus,
seems to indicate that he doesn’t currently know how to write FAI (and nor does anyone else) otherwise he would be focusing on that now, and instead is planning for the long term.
You’re missing the point. He didn’t say strictly that HPMOR is his main focus, but also promoting rationality. And thus,
Which sounds exactly right to me.
I’m not missing the point, I’m nitpicking. There’s a difference.