I plan to commit this tomorrow unless anyone speaks up to disagree with my reading of consensus under Carlos's definition. -- Joseph S. Myers joseph@codesourcery.com