$time ← $nickname has left the channel. ($description)