Setting html5lib version