Rest of the headline: Employee says an 'algorithm' may have targeted those with stock options first