Kaj_Sotala comments on Raemon’s Shortform