I'm going to hold off on the changes to distinguish IE_MOBILE from IE on WinCE, but I've left in the other changes in this CL ... - Adding JS detection for OS WinCE - Modifying use of wrapDomain. Both will be helpful when adding Opera and IE on WinCE.
New snapshot uploaded.
