I've noticed that github use is an effective way to kill discussion of an issue in a draft that is raised on a mailing list. Don't respond on the list. Just say you've opened a github comment item about it. Later, mark the comment item, which no-one has commented on, as closed. Job done. (The alternative, having lots of technical discussion outside the list, is perhaps worse.) Has github replaced list discussion? Lloyd Wood lloyd.wood@xxxxxxxxxxx http://about.me/lloydwood