For anyone that is really wanting to use this feature, here is a quick fix.  In the WinIE.js file, find the getinnerHTML function and add a line setting the variable for RemoveServerNamesFromUrl to true.  This works for me.

-al