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