$time ← $nickname has left IRC. ($description)