Comment by rsanek

10k is about 0.7% of their total employee count. I wonder if this will have any effect.