anchor.diff:      /// Match if 'text' starts with the 'prefix' string case
       let (|StartsWith|_|) prefix (input: string) =
           if input.StartsWith prefix then Some () else None
  -    
  +
       /// Match if 'text' starts with the 'prefix' and return the text with the prefix removed
       let (|RemovePrefix|_|) prefix (input: string) =
           if input.StartsWith prefix then Some (input.Substring prefix.Length)
  
positive.code:                 let x = key,value
                  l.Add x |> ignore
  
          
          let current = Text.StringBuilder()
          let quoted = ref false
          let lastKey = ref ""
  
negative.code: #if CUSTOM_WEBPROXY
                  let result =
                      { new IWebProxy with
                          member __.Credentials
                              with get () = null
                              and set _value = ()
                          member __.GetProxy _ = null
  