They're counting stats for W3Schools.com. Hardly surprising that IE usage among devs would be lower than the general population.