docs: def delete_collection(mongo_uri, database_name, collection_name):
      """
      Delete a mongo document collection using pymongo. Mongo daemon assumed to be running.
  
      Inputs: - mongo_uri: A MongoDB URI.
              - database_name: The mongo database name as a python string.
              - collection_name: The mongo collection as a python string.
      """
      client = pymongo.MongoClient(mongo_uri)
  
      db = client[database_name]
  
      db.drop_collection(collection_name)