Nathan Bossart <nathandbossart@gmail.com> writes:
> On Wed, Apr 29, 2026 at 12:04:48PM +0700, John Naylor wrote:
>> Is the removal of the comment intentional?
> It was, but I'll add them back before committing.
+1, I found that annoying too.
regards, tom lane