habryka comments on Mixed-Strategy Ratifiability Implies CDT=EDT