anchor.diff:  
                   Some(U2.Case2 work) }
   
  -    let private setupTerminalState (terminal: Terminal) =
  -        terminal.processId
  -        |> Promise.ofThenable
  -        |> Promise.onSuccess (fun pid -> fsiOutputPID <- Option.map int pid)
  -        |> ignore
  -
  -        lastCd <- None
  -        lastCurrentFile <- None
  -        fsiOutput <- Some terminal
  -
  -    let tryFindExistingTerminal () =
  -        window.terminals
  -        |> Seq.tryFind (fun t -> t.name = fsiNetFrameworkName || t.name = fsiNetCoreName)
  -
       let private start () =
           promise {
               let ctok = vscode.CancellationTokenSource.Create().token
  
positive.code:             let k = Configuration.get true useKey
              not k
  
  
          let disablePromptGlobally () =
              Configuration.setGlobal suggestKey (Some(box false))
  
  
negative.code: 
          let setUseSdk () =
              Configuration.setGlobal useKey (Some(box true))
  
          let checkForPatternsAndPromptUser () =
              promise {
  