anchor.diff:  
       // Print a final message without a time indicator so that we don't leave a
       // misleading half-complete time indicator on the console.
  -    stdout.writeln(log.format("\r$_message..."));
  +    String backspace = "\b" * _timeLength;
  +    _timeLength = 0;
  +    stdout.writeln(backspace);
       _timer.cancel();
       _timer = null;
     }
  
positive.code: 
    /// Gets the current progress time as a parenthesized, formatted string.
    String get _time => "(${niceDuration(_stopwatch.elapsed)})";
  
    /// Creates a new progress indicator.
    ///
  
negative.code:       _update();
      });
  
      stdout.write(log.format("$_message... "));
    }
  
    /// Stops the progress indicator.
  