On Wed, Nov 8, 2023 at 2:02 PM John Naylor <johncnaylo...@gmail.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.