Søren Elverlin comments on 2024 Unofficial LessWrong Census/​Survey