As far as user agent switchers go, the one I found (see previous message), doesn't remember its settings. If I set it to Internet Exporer 8, the next restart of Firefox has it back to default. I guess that's good enough, but what I'd really like is to change to Internet Explorer 8 and leave it that way.
Does anyone know a user agent switcher that works that way?