New commits: commit 6dc99409a6b0e35e875d4d30512091afb393b63f Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Mon Aug 20 17:38:44 2018 -0400 pluto: tweak some whitespace