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: 
      final libraries = {};
  
      for (final library in orderByName(world.libraries)) {
        docLibraryNavigationJson(library, libraries);
      }
  
  
negative.code: 
        world.resolveAll();
  
        // Sort the libraries by name (not key).
        _sortedLibraries = world.libraries.getValues();
        _sortedLibraries.sort((a, b) {
          return a.name.toUpperCase().compareTo(b.name.toUpperCase());
        });
  
        // Generate the docs.
        if (mode == MODE_LIVE_NAV) docNavigationJson();
  
        docIndex();
        for (final library in _sortedLibraries) {
          docLibrary(library);
        }
      } finally {
  