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