external_pid_file not removed on postmaster exit

It seems strange that the external_pid_file is never removed.  There is
even a C comment about it:

/* Should we remove the pid file on postmaster exit? */

I think it should be removed with proc_exit hook just like the main
postmaster.pid file.

Does anyone remember why this was not done originally or have any
concerns?