[tor-commits] [torspec/main] proposals: Run reindex.py