There’s something oddly satisfying about running archive.gov through archive.org.