Building for coverage and running the reports littered my tree with files which should probably be in .gitignore for just such a contingency. Patch attached. -Kevin
pgsql-hackers by date:
Соглашаюсь с условиями обработки персональных данных