³⁰Szeidl’s proof supplants simulation evidence of ergodicity that appeared in an earlier version of this paper.