Hi Christopher.

Nice catch! Where may I check that next time (in the process of
preparing 2024-05 astro update)?

I will open an issue in upstream as well.

--
Oleg