Vote up this answer if you think the instrument of moving a comment thread to chat
should be used along the lines of Todd Trimble's comment -- i.e. only if a discussion
in comments goes off-topic or becomes contentious.
(Vote down if you don't think so, and leave alone if you don't care.)
Update: I moved all of the comments that were not deleted by commenters to chat. Your comment is restored there.
Older answer: I'll start by mentioning some context for the benefit of people who haven't read the question. Martin Hairer (chair of the ICM programme committee) asked a question about proposed topics for an ICM special lecture. David's answer ...