Ugh.  Annoying that we have to reference RichTextCodeMirror.  The sentinel characters should really be somewhere else (a new sentinels.js or constants.js or something).  If you feel like it, feel free to move them at some point.