Uncoordinated edits made a mess of it. I had previously asked this contributor,
after s/he started making things worse than they were, to *propose* changes from
now on instead of just changing things the way s/he liked... or risk to be
reverted. This is how open wikis end up being closed.