<div dir="ltr">Hi List,<div><br></div><div>I have just heard the sad news that David Anton of APT died a month ago to the day.  Perhaps you had heard this news already, but I hadn't.</div><div><br></div><div>Regards</div><div><br></div><div><br></div><div>Daniel</div></div>