gwern comments on Utilitarians probably wasting time on recreation