C’est un problème depuis très longtemps. J’ai essayé de le corriger pour la dernière fois en 2022, si je me souviens bien, mais sans succès. Ce sera corrigé si je reviens à la réécriture, mais je ne l’ai pas fait car j’avais d’autres priorités.
Peut-être que j’y jetterai un œil un jour. Une mise à jour de correction de bug n’est pas totalement exclue car il y a beaucoup de problèmes de longue date que je ne suis pas entièrement qualifié pour résoudre, mais j’essaie quand même d’y jeter un œil.