jimrandomh comments on Second-Order Rationality, System Rationality, and a feature suggestion for LessWrong