Source editor hang in IE 10

Source editor is not stable and will hang in IE10. Is that a known issue and when a fix will be available? Wiki markup is gone, we want to at least have an option to edit the source code for our technical / advanced users.