Use html5ever for HTML parsing

New PR to un-confuse bors.