Seth Herd comments on What’s a better term now that “AGI” is too vague?