My warmest thanks to Ross J. Reedstrom and Andrew W. Schmeder. I had overestimated the ability of my reader (Mozilla) to thread replies to my question, and so missed yours until I did a search for 'pg_dump'.