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