New commits: commit 7266a5853b82846defa0d3904816828048158785 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Tue Sep 12 16:43:37 2017 -0400 pluto: random tidying