Presumably this case was covered in the first round of layoffs when they stack ranked engineers by lines of code produced in the last (6 months? 1 year?)