document krb5_config_*_string