If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
I went to the library and it was empty. They said Gwern stopped by for a quick lookup.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.