Use smartified serendipity_editor.js.