Shmi comments on When was the term “AI alignment” coined?