[dveditz_]

Did the execs get raises after the layoffs? About half the ones that were at Mozilla at that time are gone now.