Since nobody has reacted to this report for a couple of months, I decided to file an upstream report at https://debbugs.gnu.org/cgi/bugreport.cgi?bug=32472
Since nobody has reacted to this report for a couple of months, I decided to file an upstream report at https:/ /debbugs. gnu.org/ cgi/bugreport. cgi?bug= 32472