gwern comments on REQ: Latin translation for HPMOR

[gwern]

I’m not disappointed… and if I had, I’d just edit the prediction. No point in leaving it trivially wrong.