Fixed.
Applies, compiles, make check ok, doc ok.Note that the patch may interact with other patches which add functions to pgbench, so might need a rebase depending on the order in which the patch are applied. We'll see.
I have added the thread to the next CF (January 2018), and marked it as "ready for committer".
-- Fabien.
