She has a rule 510b-1 trading plan. The plan likely triggers sales based on a certain trading price or a trading price at a level a certain percentage above her option acquisition price. It is an automated sale placed by her broker without her direct involvement other than her establishing the plan a year or more earlier.