We need to update the documentation of [dropDatabases (in the note for sharded clusters) to match the user summary box in SERVER-17397.

See discussion here: https://developer.mongodb.com/community/forums/t/which-commits-solve-the-issue-about-dropping-and-recreating-a-db-with-same-name/113437/2 for context.