New commits: commit 2b1e4815e9806b06ee11d8ab25fda7fcc858bea8 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Sat Jul 7 11:10:41 2018 -0400 testing: ditch many definitions of exit_tool. Never used.