David Kastrup <[email protected]> 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
