Skeptityke comments on New paper from MIRI: “Toward idealized decision theory”