\f
* Changes in Wget 1.12 (MAINLINE)
+** Mailing list MOVED to bug-wget@gnu.org
+
** --default-page option added to support alternative default names for
index.html.
** The --input-file option now also handles retrieving links from
an external file.
+
+** Several previously existing, but undocumented .wgetrc options
+are now documented: save_headers, spider, and user_agent.
\f
* Changes in Wget 1.11.4