Es war in der standard.js eine Zeile, die Silbentrennung, die ich im Text mit ·
markiere:
document.getElementsByTagName( "body" )[0].innerHTML = document.getElementsByTagName( "body" )[0].innerHTML.replace(/·/g, "­");
Komisch, wer verwendet denn ·
?