On Sat, Sep 28, 2019 at 12:02:30PM +1000, Warren Toomey wrote: > Is anybody using archive.org, gunkies or something else, and have > recommendations? Argh, bitsavers too, sorry Al, I forgot! Warren