gwern comments on November 2020 gwern.net newsletter