anchor.diff:  /// Strip leading dartdoc comments from the given source code.
   String stripDartdocCommentsFromSource(String source) {
     var remainder = source.trimLeft();
  -  var sanitizer = const HtmlEscape();
  -  var lineComments = remainder.startsWith('///') ||
  -      remainder.startsWith(sanitizer.convert('///'));
  -  var blockComments = remainder.startsWith('/**') ||
  -      remainder.startsWith(sanitizer.convert('/**'));
  +  var lineComments = remainder.startsWith(_tripleSlash) ||
  +      remainder.startsWith(_escapedTripleSlash);
  +  var blockComments = remainder.startsWith(_slashStarStar) ||
  +      remainder.startsWith(_escapedSlashStarStar);
   
     return source.split('\n').where((String line) {
       if (lineComments) {
  -      if (line.startsWith('///') || line.startsWith(sanitizer.convert('///'))) {
  +      if (line.startsWith(_tripleSlash) ||
  +          line.startsWith(_escapedTripleSlash)) {
           return false;
         }
         lineComments = false;
         return true;
       } else if (blockComments) {
  -      if (line.contains('*/') || line.contains(sanitizer.convert('*/'))) {
  +      if (line.contains(_starSlash) || line.contains(_escapedStarSlash)) {
           blockComments = false;
           return false;
         }
  -      if (line.startsWith('/**') || line.startsWith(sanitizer.convert('/**'))) {
  +      if (line.startsWith(_slashStarStar) ||
  +          line.startsWith(_escapedSlashStarStar)) {
           return false;
         }
         return false;
  
positive.code:     return true;
    }).join('\n');
  }
  
  /// Strip the common indent from the given source fragment.
  String stripIndentFromSource(String source) {
  
negative.code: /// allowed in some environments, so avoid using this.
  // TODO(jcollins-g): consider deprecating this and the `--include-source`
  // feature that uses it now that source code linking is possible.
  // TODO(srawlins): Evaluate whether this leads to a ton of memory usage.
  // An LRU of size 1 might be just fine.
  String? getFileContentsFor(Element e, ResourceProvider resourceProvider) {
    var location = e.source?.fullName;
    if (location != null && !_fileContents.containsKey(location)) {
  