Evan R. Murphy comments on More Christiano, Cotra, and Yudkowsky on AI progress