Thank you Arjan for your attempts to keep the spam from spoiling the list. I'm sure everybody appreciates it, and sympathises with your difficulties.