On Fri, 19 Sept 2025 at 23:14, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
>
> On Fri, 19 Sept 2025 at 22:48, Tender Wang <tndrwang(at)gmail(dot)com> wrote:
> > "catched" should be "caught".
>
> Thanks. I'll handle this.
I ended up doing a bit more rewording in this area. I wasn't quite
sure if I understood the "to be effective" terminology. I suspect this
means efficiency, so I ended up changing a bit more than just the
typo.
David