gwern comments on Issues, Bugs, and Requested Features

[gwern]

I’ve been seeing that error while logged-in periodically as well. But I can’t seem to reproduce it reliably, so I haven’t reported it.