<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
</head>
<body>
<div style="font-family:sans-serif"><div style="white-space:normal"><p dir="auto">Indeed a bit ironic but glad to see that you are still around ;)</p>
<p dir="auto">On 26 Jul 2021, at 13:40, Benny Kjær Nielsen wrote:</p>
<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">sorry about the sudden avalanche of emails on the mailing list. I'm on vacation this week and had time for some emails while travelling (a bit ironic given my usual delayed replies on the list).</p>
</blockquote></div>
</div>
</body>
</html>