Imho they should use # instead. There are a multitude of XMPP clients designed to be interoperable with Tor, to use # etc. etc. cc: @hannes2peer @mxj