gwern comments on Why does ChatGPT throw an error when outputting “David Mayer”?