On Saturday, 1 September 2012 at 14:33:23 UTC, Johannes Pfau wrote: > OK, done. But it's a wiki, feel free to edit the pages yourself > ;-) Ah, sorry. I was under the impression that although it's a wiki, only you and Iain had the permissions to edit.