no name comments on Daniel Kokotajlo’s Shortform