mongodb/docs — pull request #741 by puentesarrin (2013-03-18 19:41:55+00:00)
Title: Minor: redundant term

Additionally... for additional documentation.