Simplify the tor IRC example a bit.