Shorten the format name of krb5pa formats.
Merge branch 'bleeding-jumbo' into bleeding-mask

* bleeding-jumbo:
  Shorten the format name of krb5pa formats.