Argh. I've just mucked up a wiki, and the last backup I had of it is too long ago to be useful. Ah well. It's one of mine, rather than one that's actually useful to anyone else, and all of the stuff in it is stuff I had elsewhere. It's recreated (empty) now.