update html5lib