New commits: commit 9d117969586a440504c98c4fe4c080ea4d88f37e Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Tue Jul 3 20:12:03 2018 -0400 pluto: improve some formatting