> On 25 Mar 2022, at 22:01, Daniel Gustafsson <dan...@yesql.se> wrote: >> On 25 Mar 2022, at 20:58, Robert Haas <robertmh...@gmail.com> wrote:
>> However, if we're not ready/willing to make a bigger change, then doing as >> you >> have proposed here seems fine to me. > > Thanks for review! Trying out again just now the patch still applies (with > some offsets) and builds. Barring objections I will go ahead and push this for 15. It's the minimal change but it might still help someone new to PostgreSQL who gets confused on the choice of naming/wording. -- Daniel Gustafsson https://vmware.com/