dr_s comments on Bringing Agency Into AGI Extinction Is Superfluous