mozilla/servo — pull request #1729 by Ms2ger (2014-02-22 12:30:49+00:00)
Title: Remove commented-out parts of Document.webidl and HTMLDocument.webidl.

I don't see a good reason to keep those around for now