gwern comments on Degamification