StrivingForLegibility comments on A Decision Theory Can Be Rational or Computable, but Not Both