@QuickandDirty Ist nicht meine Seite, sonst hätte ich längst eine kleine Tabelle mit den notwendigen Sonderzeichen hinterlegt.
Ein Greasemonkeyskript verändert die Seite für dich. Es ermöglicht quasi eine Javascript code injection vom Browser aus. Die Seite ist dann nur für dich anders...für alle anderen ist sie noch so wie vorher.