On 2023-08-14 04:47:10 +0000, Ehud Gavron said: > Best wishes from an old friend you've never met. > > Ehud Hello from an old friend you HAVE met. I hope you're well and I'm happy to see you contributing in c.o.v. again.