Daniel Gustafsson <daniel(at)yesql(dot)se> writes:
>> On 2 Oct 2021, at 02:09, Kevin Burke <kevin(at)burke(dot)dev> wrote:
>> This patch amends the error message to give help to the user.
> I think this makes sense,
+1. I'd take out the "Maybe"; the diagnosis seems pretty certain.
regards, tom lane