Curious to know how many of the engineers who were laid-off were specifically iOS. Relevant to me since I'm pigeon-holed and in the Bay Area :)