Document krb5-related system/security properties in https://docs.oracle.com/en/java/javase/22/security/kerberos-5-gss-api-mechanism.html. As the first step, it should include the public java.security.krb5.{realm|kdc|conf} and the ones defined in `java.security`. This can also cover environment variables, including `USERDNSDOMAIN`, `USERDNSDOMAIN`, `LOGONSERVER`, and `KRB5CCNAME`.