oops, I accidentally double-added a significant number of tweets. Thankfully I can rebuild this index!