On Wed, Nov 01, 2023 at 07:29:51PM -0400, Tom Lane wrote:> Actually we do force that, see valid_custom_variable_name().> But I think your idea is better.
Ah, indeed, thanks. I didn't recall this was the case.--Michael