Andreas Enge Sun, 27 Aug 2023 01:40:19 -0700
Hello, this bug has probably been addressed by the recent changes to texlive, so I am closing it. If you still experience problems, please come back to us, reopen the report or create a new one.
Thanks for your report! Andreas
