Steven Byrnes comments on We cannot directly choose an AGI’s utility function