On Thu, Aug 23, 2018, at 09:32, Peter Saint-Andre wrote: > This might be of historical interest, but I suggest that we delete the > archives. This might be the sort of thing that the Internet Archive or similar would be interested in if a backup can be obtained before removing them. —Sam