> btw: i got this mail twice as it happens with some others, too. not all > and not often but sometimes there are a few. Post the message headers, preferably to the bug tracker. Otherwise nothing can ever be done.
