Mathieu Othacehe Fri, 05 Aug 2022 00:21:13 -0700
Reported the problem upstream with: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56996.
Mathieu