>>>> Here is a v13. No code changes, but TAP tests added to maintain pgbench>>>> coverage to green.>> Here is a v14, which is just a rebase after the documentation xml-ization.
Regenerated v15 that applies cleanly on head. No changes.
-- Fabien.