OptionalObsoleteFiles: Keep Heimdal man pages when switching back

Additional man pages that should not be removed when switching back to
Heimdal.

Fixes:          af2593e321

tools/build/mk/OptionalObsoleteFiles.inc

@@ -6861,7 +6861,6 @@ OLD_FILES+=usr/share/licenses/krb5-1.21.3_1/catalog.mk
 OLD_FILES+=usr/share/locale/de/LC_MESSAGES/mit-krb5.mo
 OLD_FILES+=usr/share/locale/en_US/LC_MESSAGES/mit-krb5.mo
 OLD_FILES+=usr/share/locale/ka/LC_MESSAGES/mit-krb5.mo
-OLD_FILES+=usr/share/man/man1/compile_et.1.gz
 OLD_FILES+=usr/share/man/man1/k5srvutil.1.gz
 OLD_FILES+=usr/share/man/man1/kadmin.1.gz
 OLD_FILES+=usr/share/man/man1/ktutil.1.gz
@@ -6873,7 +6872,6 @@ OLD_FILES+=usr/share/man/man5/k5identity.5.gz
 OLD_FILES+=usr/share/man/man5/k5login.5.gz
 OLD_FILES+=usr/share/man/man5/kadm5.acl.5.gz
 OLD_FILES+=usr/share/man/man5/kdc.conf.5.gz
-OLD_FILES+=usr/share/man/man5/krb5.conf.5.gz
 OLD_FILES+=usr/share/man/man7/kerberos.7.gz
 OLD_FILES+=usr/share/man/man8/kadmin.local.8.gz
 OLD_FILES+=usr/share/man/man8/kdb5_ldap_util.8.gz