Craig,
Thanks.
The point of deleting 25 posts of nonsense was also to hide it, because there is some very good stuff by all in there throughout. The problem is that when it comes down to name calling and insults and nasty phone calls from friends--the thread has escalated out of control, thus needs to be ended.
Sorry if you don't understand. Complain to Ran if you don't like it. I'll gladly stop giving time and service to this site if that's the case.