Decide what to do regarding OFTC
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)
Original created by @sajolida on 7753 (Redmine)