Code Editor : texdocrc-win32.defaults