WebDoc problems 
As you may have noticed, the WebDoc was in trouble during the last week. What you probably
didn't notice: it was in double trouble. While we were in the progress of moving the content to a new server, the old one suffered a hard disk crash.
The new server runs SnipSnap from a WAR archive and with a new version (1.0b instead of 0.5something), hence the old design hacks don't work any more, but it should be possible to reproduce some of the old look within SnipSnap's theme CSS-sheets.
So, there we are again on a new machine. We lost changes, the content you see now is from about a week before the whole mess began. Unfortunately, the world specification we did for
0.6.5 is gone.