Thanks, Adrian. I should have tried Google for "remove pg_constraint consrc". This finds the quote as the top hit.
To see all release notes together go here:
https://bucardo.org/postgres_all_versionsThen you can search on the page.
I confirmed that "pg_get_expr(conbin, conrelid)" shows « (v = lower(v)) » for my example table.
Thanks again, Andrian. That's gold-dust. I see that the page says:
« This page was generated on August 11, 2022 by a script (version 1.30) by Greg Sabino Mullane, and contains information for 461 versions of Postgres. »
And I went on to find this:
Do you see posts to this list, Greg? If so, then thank you very much!