So be it — fortunately, everyone else ignores the if-IE tags (because they’re comments, obviously) and does not even load the script.  So, let’s leave it in — though some people around want total µoptimizations and would happily cut this out, as it saves an average of 93 bytes per page.