This page hadn't been touched in *seven* years! That's several ice-ages in Internet time!
Best if I just linked directly to http://theory.lcs.mit.edu/~wald/sandman-index.html now.