Daniel Kokotajlo comments on Are We In A Coding Overhang?