No, I haven’t (I never post on the site and never paste anything from Word anyway. :p ), and I don’t know if she has either. The thing is, I don’t think she’s too fussed about it all and she wouldn’t use that button even if it worked. It’s just that for me, as the designer of the theme (which isn’t exactly exceptionally good in the first place) the typographical mess makes my eyes hurt. Heh.
That’s why I wanted to find a way to automatically strip the styling or the tags.