If you ran into issues on the site recently, we were dealing with a heavy flood of bot traffic. We've restored the site back to October 19th and updated our edge protection to filter out the noise. Everything is back online, though pages might load a bit slowly for a short bit while everything settles back down. Thanks for your patience!