Roko comments on Roko’s Shortform