9 Oct
2018
9 Oct
'18
12:01 p.m.
Thanks to everyone who replied with tarballs, zip files, pointers to
stuff in the archive, web links ... I will try (eventually) to thank
everyone individually as well, but in the meantime please accept this
broadcast. :-)
This has now become Yet Another Back Burner Project; I hope putting things
together into a reasonable github repo (or two) will happen without
too much of a delay.
This is a great group of people!
Thanks,
Arnold