In fact I have given up looking at the posts and comments by those disrespectful old heavy-duty babies for a while. Only upon seeing some others still taking them seriously, I couldn't help adding a few words. Perhaps it wasn't even necessary.
Thanks for your inputs.