Internet Explorer’s 12.5% Market Share (and Windows’ 43.9%)