It seems that explanation for the contents of the pid file has moved topidfile.h, but the comments in CreateLockFile() still point to miscadmin.h.
The attached patch updates those pointers.