<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>I'm just checking whether this list is still active. If activity has migrated elsewhere, please tell me where.</div>
<div> </div>
<div>Miroslav</div></div></body></html>