Firefox credential delegation

http://stackoverflow.com/questions/809317/configure-firefox-3-0-x-to-authenticate-with-kerberos-and-not-prompt

It IS necessary to restart Firefox after changing the settings.