Das < und > im Text ersetzen

[Siechfred]

Tag Kalle.

[...]
PROBLEM:
Das <pre> bleibt stehen, weil JavaScript DIES nicht macht:
    x = x.replace( /<pre>/, "" );

Sorry, kann den Fehler nicht reproduzieren, Javascript tut genau das, was du erwartest. Der Fehler muss also woanders liegen.

Siechfred