On mer, 2002-02-27 at 13:30, Magnus Manske wrote:
The functions that could be performed (and that I can think of) are:
- 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!