Thomas Sepulchre comments on New User’s Guide to LessWrong