On Fri, 19 Sept 2025 at 23:14, David Rowley <dgrowleyml@gmail.com> wrote: > > On Fri, 19 Sept 2025 at 22:48, Tender Wang <tndrwang@gmail.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.