[manual] Mention CodeMirror.signal

Closes #1698