It's off-topic to make snide comments about posters at other boards, no matter how much they deserve it. If someone elsewhere has information that needs to be discussed here, that's one thing -- but just telling us what we already know, that they are jerks, is a waste of everyone's time.