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