technicalities comments on Longtermism, risk, and extinction