Hello, I am working with a server where some of the html pages got defaced via the "NeverEverNoSanity" (old) worm). One of the pages that got defaced was the index.html page of one of the archives (/mailman/archives/public/list_name). How can I regenerate this file? Thanks in advance.