Hi
Patch looks excellent now. No issues.
Found a typo which I have fixed in the attached patch.
Thanks
-- Jeevan B ChalkePrincipal Software Engineer, Product DevelopmentEnterpriseDB CorporationThe Enterprise PostgreSQL Company