Daniel Kokotajlo comments on Highlights: Wentworth, Shah, and Murphy on “Retargeting the Search”