@paul has joined the channel
@paul has left the channel
@tap has left the channel
@tilak has joined the channel
@rkoch has joined the channel
@gary has joined the channel
