tor-doc-web.wml harmful
https://www.torproject.org/docs/tor-doc-web tells people how to configure browsers like Opera to point to Tor.
But users should only use Firefox, and only with Torbutton, and Torbutton takes care of configuring your proxy settings.
This page should die.