Malentropic Gizmo comments on Daniel Kokotajlo’s Shortform