[arch-general] rubbish files in krb5

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!