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
