> Oliver, I certainly don't want you to be sad. We spent a little more > time on performance in > <https://bugs.webkit.org/show_bug.cgi?id=40592>. I've now measured > the top-of-tree performance more carefully, and it looks like the > HTML5 parser is roughly a 5% speedup on the parsing benchmark [1]. Nice! Geoff