Configuring Firefox to use Kerberos for SSO.