The Introduction section mentions the following:

Additionally, considerations are given on how the issuance of Credentials in both IETF SD-JWT VC [@!I-D.ietf-oauth-sd-jwt-vc] and ISO mdoc [@ISO.18013-5] formats can be performed in the same transaction.

I couldn’t find any additional references in the text to combined issuance. It seems that when the batch credential endpoint was removed, the corresponding text describing this combined issuance scenario was also deleted. Is this goal still relevant? And according to OpenID4VCI, is it even possible to issue multiple formats within a single transaction?