Tom Nye's web pages have moved onto github.