Niko Matsakis wrote: > Attempting to edit the Wiki or otherwise login seems to generate an > error. This may be because I don't have an account. Error text below. Probably, because I can edit with "PaoloBonzini" but not with "Paolo". Using "WikiWord" literally is a workaround. Paolo