Where it mysteriously makes the editor stop working (typed input no longer goes to
textarea) whenever highlighting fires.

Issue #1193