David Rowley <dgrowleyml@gmail.com> writes:
> I did happen to find one other in mcv.c which dates back to 2019. I
> was wondering if we should bother with that one since it's already out
> there in PG13.
Maybe not. Per Peter's point, it's just cosmetic really.
regards, tom lane