codemirror/CodeMirror — pull request #2883 by Carreau (2014-10-19 17:50:05+00:00)
Title: Allow unicode identifiers on python3, and @ operator.

Also default example to Python3 as it is soon 6 years old now.