Btw: We've got an anonymous user doing a lot of "unhelpful" edits, turning all kind of things into HTML entities (which sometimes breaks formatting). Is there any way to stop him?
Example here (trivial); another answer would have be slightly "defaced" (converting all
<sup>
to
<sup>
isn't what I'd call an improvement).