[tor-commits] [policies/master] Remove index.txt, replaced by index.html.