Am So., 27. Aug. 2023 um 19:54 Uhr schrieb Xavier B. <somenxavier@posteo.net>:
What is the state of this problem?
Is it some deadline here?

I need to have a "production" document in mid september to show to my students.
Can you please make a "push" in this topic.
 

Just update your installation, the problem is already fixed.

Wolfgang