anchor.diff:          this.Write(">")
   
       member this.WriteEncodedText(text: string) =
  -        this.Write(encodeText text)
  -        
  +        WebUtility.HtmlEncode(text, w)
  +
       member this.AddAttribute(name: string, value: string) =
           currentAttributes.Add(struct (name, value))
   
  
positive.code: 
      let mutable tagStack = System.Collections.Generic.Stack()
      let currentAttributes = ResizeArray()
  
      let encodeText (text: string) =
          text // TODO dotnet: do encode
  
      new (w) = new HtmlTextWriter(w, "\t")
  
  
negative.code: 
  open System
  open System.IO
  open System.Net
  open System.Reflection
  
  module CT = ContentTypes
  