anchor.diff:    String searchResultsUrl = 'results.html';
   
     /** Set this to add footer text to each generated page. */
  -  String footerText = '';
  +  String footerText = null;
   
     /** Set this to add content before the footer */
     String preFooterText = '';
  +
  +  /** Set this to omit generation timestamp from output */
  +  bool omitGenerationTime = false;
   
     /**
      * From exposes the set of libraries in `world.libraries`. That maps library
  
positive.code:         </div>
          ${preFooterText}
          <div class="footer">
            <p>This page generated at ${new Date.now()}</p>
            <div>$footerText</div>
          </div>
          <script async src="${relativePath('$clientScript.js')}"></script>
          </body></html>
  
negative.code:       case '--generate-app-cache':
        case '--generate-app-cache=true':
          generateAppCache = true;
          break;
  
        case '--omit-generation-time':
          omitGenerationTime = true;
          break;
  
        default:
  