Randy,
As we discussed in the IESG open mic session at the plenary last night, it's 
not appropriate to call people trolls, or anything else.  If you think 
someone's comments are not helpful, address that. It's not appropriate to argue 
the person behind the comment.
Jari Arkko, IETF