The debian folks have kicked out a new version of stretch already, v9.01, and I’ve confirmed, by loading into a separate virtual machine, that the install disk iso does work this time.

     I am therefore taking debian.eskimo.com offline for a while to upgrade it to stretch.