Our comment policy is based on DMI Dave’s notion of “friendly discussion”, which he defines as including “disagreement, even pointed criticism, as well as pleasant observations and exchanges” and excluding “insults, tasteless profanity, copyright violations, libel, threadjacking, trolling, commercial promotion, spamming, and similar social or legal transgressions.” Trolling, as defined here, is basically coming out of your cave only to disrupt the discussion. The administrators of this site reserve the right to moderate and delete comments, and even ban participants that insist on transgressing the boundaries of friendly discussion.