I got this message today: "Nov 22 10:02:38.687 [warn] 100 DNS workers are spawned; all are busy. Killing one." I've had the message that all dns workers are IDLE and they're killing one, but should I be concerned about tor killing them when they're busy?