rubbish files in krb5

[Yi Zheng via arch-general <arch-general@xxxxxxxxxxxxxxxxxxx>]

pkgfile shows:
    core/krb5       /usr/share/man/man5/.k5identity.5.gz
    core/krb5       /usr/share/man/man5/.k5login.5.gz

I'm sure that they are rubbish due to the small size......

-rw-r--r-- 1 root root 42 Mar 21 21:16 /usr/share/man/man5/.k5identity.5.gz
-rw-r--r-- 1 root root 39 Mar 21 21:16 /usr/share/man/man5/.k5login.5.gz


best wishes. Thanks!