Regex comments on Proposal for increasing instrumental rationality value of the LessWrong community