This is an old revision of the document!
It probably doesn't look like it, but this site is just a wikiwiki. MoinMoin to be exact. The theme was prepared specifically for it (style sheets mostly by Patryk Zawadzki), but most of the functionality remained unmodified.
One noticable modification is that this particular wiki requires being registered in order to make changes to it. Registration is currently opened to everyone, but in case of any trouble, this will change and additional restrictions will be added.
When registering, do try to use your CVS account names. It will help a lot.