On Fri, 11 Jun 2021 at 04:04, Tom Lane <t...@sss.pgh.pa.us> wrote: > However, I'm also > unlikely to worry about this point when copy-editing docs.
I'm sorry to hear that. Maybe keeping this consistent will be one of those endless jobs like keeping the source code pgindented. We still try to keep that in order despite the audience for the source code being much smaller than the audience for our documents. Anyway, I'll set an alarm for this time next year so I can check on how many inconsistencies have crept back in over the development cycle. In the meantime, I've pushed the fixes to master. David
