Vladimir_Nesov comments on Feature Request for LessWrong