On 7/30/20 10:01 AM, peter at easthope.ca wrote: > http://www.ethoberon.ethz.ch/compiler/index-Dateien/filelist.xml > > But I haven't found it in archive.org. [...] What was that? Auto-generated by Microsoft Word. Look at the source of the /compiler page. -- Colby Russell