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