High-performance browser-grade HTML5 parser