It's a UK bank holiday today, so I won't be around this evening. I believe it's a US public holiday too; should we defer the meeting? -- Colin Watson [cjwatson at ubuntu.com]