[forwarding to list, please use "Reply All" to keep 40323@debbugs.gnu.org on Cc]