servo/servo — pull request #3702 by kmcallister (2014-10-16 20:30:08+00:00)
Title: Use html5ever for HTML parsing

New PR to un-confuse bors.