On 12/23/22 00:47, David Rowley wrote:
> On Wed, 26 Oct 2022 at 14:38, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
> I've now pushed the final result. Thank you to everyone who provided
> input on this.
This is a very good improvement. Thank you for working on it.