I think you're misremembering IE's version numbers. ExtJS started up as a YUI extension called YUI-ext circa 2006. IE3-4 were long dead by then. You might be thinking of IE7-6.
As you can guess, that's been quite awhile ago. My memory is fuzzy on the details to be sure.