scsh 0.6.7 is *broken*, 0.7 of very uncertain value hga@xxxxxx 11 Jul 2019 19:16 UTC