>>> 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.
-- Fabien.