docs: def aead_filename(aead_dir, key_handle, public_id):
      """
      Return the filename of the AEAD for this public_id.
      """
      parts = [aead_dir, key_handle] + pyhsm.util.group(public_id, 2) + [public_id]
      return os.path.join(*parts)