Decide what to do regarding OFTC

Originally created by @sajolida on #7753 (Redmine)

It has been almost impossible to connect to OFTC using Tor for weeks (months).

But our official IRC channel is still there (preconfigured in Piding, announced on the website).

• What is really the current situation?
• Can we fix it?
• Do we want to move somewhere else?
• Where else?

Related issues

• Related to #7874 (closed)