On Fri, 15 Jul 2022 23:54:25 -0400 Maxim Cournoyer wrote: > I pushed the improved synopsis, but also had doubts about the > description change, so left it out in > 15943fa75788edb8d9ed1c3d8d320f50d21e4baa. Hi Maxim, Sorry I couldn't get to it in time but thanks for working on it. all best, jgart