anchor.diff:      writeln('<h2>$mainTitle</h2>');
       writeln('<h3>Libraries</h3>');
   
  -    for (final library in orderByName(world.libraries)) {
  +    for (final library in _sortedLibraries) {
         docIndexLibrary(library);
       }
   
  
positive.code:   /** Set this to add footer text to each generated page. */
    String footerText = '';
  
    CommentMap _comments;
  
    /** The library that we're currently generating docs for. */
  
negative.code: 
      final libraries = {};
  
      for (final library in _sortedLibraries) {
        docLibraryNavigationJson(library, libraries);
      }
  
  