High-performance browser-grade HTML5 parser (work in progress)