RobertM comments on Roko’s Shortform