anchor.diff:          .toList();
         output.sort();
         print(output.join('\n${"-" * 80}\n'));
  +      progress.label = 'Done.';
  +      progress.flush();
  +      system.stderr.writeln('');
       } else {
         RegExp signaturePattern = new RegExp(r'Signature: (\w+)');
   
  
positive.code:   int _withoutLicense = 0;
    String get label => _label;
    String _label = '';
    set label(String value) {
      if (value.length > 50)
        value = '.../' + value.substring(math.max(0, value.lastIndexOf('/', value.length - 45) + 1));
  
negative.code: 
          await sink.close();
          progress.label = 'Done.';
          progress.flush();
          system.stderr.writeln('');
        }
      }
  