Adding new plugins to HTML editor

[triplingual]

Neither experience nor insight, but I would love to have a “Strip MS Word Cruft” widget, so I’m all s.