How far along is Microsoft with the next version of Internet Explorer (IE) — which might be IE 7.5 or IE 8.0, depending on what Microsoft decided to do since last time we heard anything truly tangible from the IE team (which was about a year ago)? Windows users and…