dr_s comments on The thing I don’t understand about AGI