Alexej Gerstmaier comments on Roko’s Shortform