PHP port of html5lib, currently unmaintained.