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