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