Extract codemirror.autoFormatOnStart option.