contains the following:
/* ----------------
* initial contents of pg_proc
* ----------------
*/
/* keep the following ordered by OID so that later changes can be made
easier */
which has manifestly not been followed. Should we fix the file or remove
the second comment?
cheers
andrew