Recently, there have been problems with the Confluence wiki (details
were discussed on the infrastructure mailing list) but everything
should be up and running again (thanks to a lot of hard work of
several people). The last small problem with changes not showing up
has just been fixed (so Richard's edits of today are now visible).
