Per off-list discussion with Tom Lane and Michael Paquier, Coverity gets unhappy if this is not done.
Attach a file by drag & drop or click to upload
