On Wed, May 01 2019, David Bremner <david at tethera.net> wrote: > I was thinking of a minimal change now, so it isn't blocking other > things, and then a gradual cleanup. just go for it.