David Gross comments on New User’s Guide to LessWrong