[tor-commits] [torspec/master] prop303: Run reindex.py to index it