Wiki consolidation / merge
As I already announced before the Amsterdam plenary, I want to
consolidate our two wiki installations and take the prototype offline.
Therefore, I went through the terms which are already defined in the
prototype, but *not* in the current and active version of the wiki.
Surprisingly, there are still 102 (!) terms defined in the prototype for
which we don't have an entry in the current wiki so far.
The question is now how we should go on. I already offered to merge the