All,
Now that I found the developer docs, attached is a patch which also:
-- restores the developer docs link
-- includes the 8.5 release notes link
Please let me know when you can apply this, thanks!
--
Josh Berkus
PostgreSQL Experts Inc.
www.pgexperts.com