Hello, Are the Tor check page https://check.torproject.org and the DNS exitlist.torproject.org down? I can't reach them over Tor and not over the normal internet. Is there something wrong with the servers behind them? Tom