David Kastrup <dak@gnu.org> writes: [...] Sorry for the duplicate mail. My newsreader bombed out with a TLS error on Gmane, and I did not expect the message to have gotten out. -- David Kastrup
