Bruce Momjian <bruce@momjian.us> writes:
> On Sat, Dec 19, 2020 at 01:39:27PM -0600, Justin Pryzby wrote:
>> So I propose:
> Uh, at the time, that was the best text we could come up with. We don't
> usually go back to update them unless there is a very good reason, and I
> am not seeing that above.
Yeah, it's a couple years too late to be worth spending effort on
improving the v10 notes, I fear. If there's text in the main
documentation that could be improved, that's a different story.
regards, tom lane