Question: when people say that 18K will be LRed, then does that number include red badges or just blue badges? When we say Cisco’s headcount is 80K then, does that include the red badges too?
Newish to Cisco, hence trying to figure out the number gymnastics here.