Current: /usr/share/man/man5/k5identity.5.gz

New name: