A.M. Kuchling wrote: > I don't have access to that page, so I can't fix this bug; hopefully > someone else will do so. In that case, should we move the document to normal wiki pages, so that anyone may work on them? -- http:// if le.o /