Due to a probable computer break-in, I have not received any email to
mbox@... for the last 4 days. If anyone sent anything
important to me in that timeframe, please resend as I hope the problem
has now been cured.
Sorry for circulating this on the list, but I have no idea who might
have sent that crucial patch or feature!