Seth Herd comments on Daniel Kokotajlo’s Shortform