merge html5lib