β-redex comments on 2023 Unofficial LessWrong Census/​Survey