[tor-commits] [torspec/master] Proposals: Run reindex.py