* doc/xml/manual/debug.xml: code.google.com uses https now.