Hi all,
looks like there is no more activity here and people have moved over
to the google group.
I will block any future posting to this group.
Are there any objections to deleting this group ?
Does anyone want to make a backup of the messages ?
Jan