anchor.diff:        /// Network upload (kbps).
         NetworkUp : double
         /// Network download (kbps).
  -      NetworkDown : double } 
  +      NetworkDown : double
  +      /// Runtime Version
  +      Version : string } 
       
       override this.GetHashCode() = hash this.Id
       override this.Equals(other:obj) =
  
positive.code:             Memory = this.Memory.Value
              NetworkUp = this.NetworkUp.Value
              NetworkDown = this.NetworkDown.Value
          }
  
      member this.UpdateCounters(counters : NodePerformanceInfo) =
  
negative.code:                 w.UpdateCounters(perfMon.Value.GetCounters())
                  w.ActiveJobs <- nullable 0
                  w.IsActive <- nullable true
                  w.Version <- ReleaseInfo.localVersion.ToString(4)
                  w.MaxJobs <- match maxJobs with None -> nullableDefault | Some mj -> nullable mj
                  do! Table.insertOrReplace<WorkerRecord> config table w //Worker might restart but keep id.
                  current := Some w
  