TurnTrout comments on Asymptotically Unambitious AGI