anchor.diff:          { model with Items = items } |> select selectType
   
       let openPath (fsReader: IFileSystemReader) path select (model: MainModel) = result {
  -        let! directory =
  -            if path = Path.Network then
  -                model.History.NetHosts
  -                |> List.map (sprintf @"\\%s")
  -                |> List.choose Path.Parse
  -                |> List.map (fun path -> Item.Basic path path.Name NetHost)
  -                |> Ok
  -            else
  -                fsReader.GetItems path |> actionError "open path"
  -        let history =
  -            let hist = model.History.WithPath path
  -            match path.NetHost with
  -            | Some host -> hist.WithNetHost host
  -            | None -> hist
  +        let! directory = itemsInDirOrNetHost fsReader path model.History
  +        let history = historyWithPathAndItsNetHost model.History path
           return
               { model.WithLocation path with
                   Directory = directory
  
positive.code:         Progress = None
      }
  
  module Nav =
      let select selectType (model: MainModel) =
          model.WithCursor (
  
negative.code: module Koffee.MainLogic
  
  open System.Text.RegularExpressions
  open System.Threading.Tasks
  