Current: /opt/alt/krb5/usr/share/doc

New name: