mozilla/servo — pull request #1739 by Ms2ger (2014-02-24 21:39:48+00:00)
Title: Merge HTMLDocument into Document

The specs currently have only Document; this may well change, but the split won't be along the lines we've implemented right now. In the meantime, this simplifies our code quite a bit.