Questo è un problema da molto tempo. Ho provato a risolverlo l’ultima volta nel 2022, se non ricordo male, ma non ho avuto successo. Verrà risolto se tornerò mai alla riscrittura, ma non l’ho fatto perché ho avuto altre priorità.
Forse un giorno ci darò un’occhiata. Un aggiornamento di correzione bug non è del tutto da escludere, anche se ci sono molti problemi di lunga data che non sono pienamente qualificato per risolvere, ma ci do comunque un’occhiata.