Seth Herd comments on What kind of policy by an AGI would make people happy?