I've been deleting his posts as I get complaints. I've asked him to use a text editor if he simply must copy/paste his posts.
I'm still investigating possible fixes for the editor that will take care of this issue. None of the solutions provided by the authors have worked, but I did find a plugin that someone wrote to deal with this issue.