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