What's happening with the haejin, grumpycat, markymark, berniesanders thing? It seemed like it cooled off, but now it seems to have picked up again. (I didn't tag anyone as I'm new and don't want to get my account killed just by asking questions. I don't even really know the whole story.)