Key developers being the leading term doesn’t exactly help the AGI narrative either.