CREATE FUNCTION reference page's Notes section is getting out of hand - Mailing list pgsql-docs

I observe that the Notes section here
http://developer.postgresql.org/pgdocs/postgres/sql-createfunction.html
has turned into a disorganized laundry list of unrelated items,
ranging from quite-subtle issues to barely-useful-even-to-novices
advice (do we really need "Use DROP FUNCTION to remove user-defined
functions" here?  Especially given the See Also link later on?).

I don't have an immediate proposal what to do about it, but it seems
like it could use some effort.  Any thoughts?

            regards, tom lane