Does GRUB 2.12 now support detached headers?

In GRUB's project status update, at FOSDEM 2022 , they talked about adding detached headers support in GRUB 2.12 (for decryption) : > Add cryptodisk detached headers and key files support, Denis 'GNUtoo' Carikli, Glenn Washburn,Patrick Steinhardt GRUB 2.12 was released in December 2023, but I couldn't find any mention of that feature in its NEWS file . Does anybody know if 2.12 now supports detached headers, as initially planned ?