On 2022-02-26 17:09:08 -0800, Andres Freund wrote:
> You could put the script in src/tools/ci and call it from the script to avoid
> the quoting issues.
Might also be a good idea for the bulk of the docs / coverage stuff, even if
there are no quoting issues.