[Please keep 26037@debbugs.gnu.org on CC]