New file, copied from $GIT/torus/mkdist.sh, which has evolved to