Tom Nye's web pages have moved onto
github
.