The problem with gwern posts is that there are so rarely anything to nitpick, to spark conversation in the comments.