You can sell them even in July. :-) End of the year is just the time when people start thinking about their tax payment. Also, they think: "Everybody will take tax losses this time, share price will drop, so I will be able to buy back cheaper."
BTW, Keith bought another 50K shares yesterday.