On Wed, Jan 03, 2024 at 12:56:58AM -0500, Tom Lane wrote:
> Yeah. A quick grep shows that we have 16 uses of "vertices" and
> only this one of "vertexes". It's not really wrong, but +1 for
> making it match the others.
Applied this one as 793ecff7df80 on HEAD.
> I'd leave this alone, it's not wrong either. If you want to propose
> a complete rewording, do so; but that's not "misspelling" territory.
I don't have a better idea in my mind now, so I'm OK to leave that be.
--
Michael