Has there been any discussion of or feedback about the web timing proposal? Would WebKit’s implementation of this be the first one? Is someone planning on building a benchmark that uses this new feature to evaluate browser speed? -- Darin