Some of our JS linting is outdated, hopefully we'll be able to update it soon. We're mainly counting on CodeMirror to "do the right thing" here so it might be a while before the updates trickle in from upstream.
we just deployed a fix (and updated the linter) so that operator should parse correctly now if it doesn't, try refreshing your editor
Thanks for reporting!
You guys rock! Thanks for the fast fix