Michael Roe comments on 2023 Unofficial LessWrong Census/​Survey