On mer, 2002-02-27 at 13:30, Magnus Manske wrote:
The functions that could be performed (and that I
can think of) are:
1. Replacement of HTML tags by wiki tags (namely, "<b>" and
"<i>", maybe
"<h1>" as well)
2. Eliminating links to redirect pages by changing the link in question to
the target of the redirect
Hmm, maybe. Sometimes redirects are wrong, though!