Daniel Kokotajlo comments on GeneSmith’s Shortform