Søren Elverlin comments on Quick polls on AGI doom