Tor has infrastructure to distribute large amounts of static files. Should we start using it (more) as part of our mirror pool?