TAG comments on A concise sum-up of the basic argument for AI doom