NeroWolfe comments on New User’s Guide to LessWrong