If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
I was betting on either gwern or lukeprog.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.