postmaster.pid file is larger than in previous major versions.
This is a bug introduced when I added lines to the file recently.