rdes, Thanks for following up! Bug reports are closed by sending your mail to nnn-done@debbugs.gnu.org instead of nnn@debbugs.gnu.org, as I've done with this meessage. Kind regards, T G-R Sent from a Web browser. Excuse or enjoy my brevity.