New commits: commit 5cecaafc89167260c8aa4fbc937b867343a502ae Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Mon Aug 13 11:46:48 2018 -0400 pluto: sprinkle "static"; formatting tweaks