New commits: commit eae6309fac1d28f9b142913d1ab6e8db32f59350 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Fri May 28 19:37:14 2021 -0400 pervasive: get rid of some erratic spaces