Hi, I find it immensly annoying that irc.gnu.org isn't hosting #savannah, while I understand Sylvain's concerns regarding TOR, it does more harm than good to have some IRC channels (specially ones as important as #savannah, which has been invaluable when shit hits the fan) on random servers.
If freenode for whatever reason cannot support our needs, then maybe we should switch. But I think that #savannah should exist, and be active when you connect to irc.gnu.org. Cheers, Alfred