Shmi comments on Bringing Agency Into AGI Extinction Is Superfluous