Code mirror app is now usable again. It will be used only for javascript files ("Web Script" portal_type) for now.