gwern comments on [LINK] Intrade Shuts Down