On 07/28/2011 12:43 PM, Bernd Blaauw wrote: > > Should we personally/individually filter this or can there be a > (moderator's) unsubscribe? > > Anyway, let's wish Mr Doogan a nice holiday :) > Already taken care of. -hpa