This is an old revision of the document!
I have recently moved to this new (dokuwiki) homepage. So please don't mind the “mess” that you might come across, and the fact that I have not “unpacked” all the boxes.
Although I should know better, I expect to tidy things up in the near future.