Bit confused with debbugs: I've closed the issue with `debbugs-gnu-send-control-message', passing "done" to it and using a smtp server. Is it the correct way? Is "done" the right message (there are so many of them...). Does it matter which smtp server / e-mail I use? -- Pierre Neidhardt