gwern comments on The Twin Webs of Knowledge