Committed.
I have removed the mentions of the hard-coded defaults in previous
PostgreSQL releases. Almost all settings probably did not exist or
behaved differently in a previous release, and we don't keep all of that
around, so this was a good chance to clean that up.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services