New commits: commit a2f59d965e9f8dc6b9aeb44a24f91cbbeda75525 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Sat Mar 13 17:26:07 2021 -0500 pluto: beautify some closing parentheses Every little bit helps to make complicated expressions understandable.