Daniel Kokotajlo comments on faul_sname’s Shortform