remove the part of tor-doc that was trying to replace download.html