[tor-dev] Tor Messenger recent IRC re-topic.