This page is now wiki-fied at http://media.cwi.nl/wiki/Manuals_and_tutorials. You should be automatically forwarded there in five seconds.