How long did it take to get connected with TOR the first time, having to use the seed nodes?
I gave up and used -addnode after 10-15 minutes.
I definitely was unlucky in exit node selection, since I’ve been able to connect to IRC with Tor a few times since them.