Address code review comments (use .Xr and .Pa macros in krb5.conf.5)