Subject: Re: Report search_path value back to the client.

From: Jelte Fennema-Nio <[email-masked]>
Date: Fri, 3 Nov 2023 10:22:35 +0100

For completeness attached is a tiny patch implementing this, so this
thread can be added to the commit fest.