API change: return value of DefaultEditorProvider
Add new document interface methods
More precise logs when requirejs injection fails