Mitchell_Porter comments on Rationality-related things I don’t know as of 2023