gjm comments on Probably-incomprehensible decision theory exposition and speculation