Only kill aloha editor if it exists.

This slightly improves performance, needed because it slows down getContents
significantly, and that gets called whenever you make any change.