Kerberos options requiring restart

The kerberos configuration options (krb_caseinsens_users, krb_realm,
krb_server_keyfile, krb_srvname, krb_server_hostname) are all set as
PGC_POSTMASTER. From what I can see, the only places where kerberos code
is called is from ClientAuthentication().

That means these parameters shouldn't need to be PGC_POSTMASTER, to
they? Or am I missing something here?

//Magnus