Add 'codemirror' as an 'extraPlugin', whatever that may mean. Hopefully fixes #1082