Daniel Kokotajlo comments on lsusr’s Shortform