On Wed, Nov 8, 2023 at 2:02 PM John Naylor <johncnaylorls(at)gmail(dot)com> wrote:
> My 2 cents: Comment typos are visible to readers, so more annoying
> when seen in isolation, and less likely to have surroundings that
> could change in back branches. Consistency would preferred all else
> being equal, but then again nothing is wrong with the existing links.
> In any case, no one has come out in favor of the patch, so it seems
> like it should be rejected unless that changes.
This is done.