Here is patch set v3.
Patches 0001 and 0002 are unchanged from v2.
Patch 0003 now uses a "%s%s%s" format specifier with GUC_FORMAT macro
in guc.c, as recently suggested by Michael [1].
~
(Meanwhile, the MixedCase stuff is still an open question, to be
addressed in a later patch version)
======
[1] https://www.postgresql.org/message-id/ZWQVxu8zWIx64V7l%40paquier.xyz
Kind Regards,
Peter Smith.
Fujitsu Australia