Upgrade wysihtml5.

Basically, avoid MutationEvents (performance).
Disable android build.