Does anybody know how many people were laid off? I am interested to know to figure out how many people you need to make a modern operating system these days.