Excerpts from Peter Simons's message of Mon Jul 11 23:17:18 +0200 2011: > you are right. I never obtained an account for editing the Wiki, but now > it's probably about time. I've put those instructions here: Thanks - a lot of people will run into this (including me :) Marc Weber