anchor.diff:      var averageDocumentTime = 0;
       var averageFixesTime = 0;
       var averageFormatTime = 0;
  +    if (_DUMP_SRC) print(src);
   
       try {
         switch (commandToRun.toLowerCase()) {
  
positive.code:   Fixes,
    Format
  }
  
negative.code:   Stopwatch sw = new Stopwatch()..start();
    int i = 0;
    lastOffset = i;
    log(await withTimeOut(server.formatGet(source: src, offset: i)));
    return sw.elapsedMilliseconds;
  }
  
  