docs: def delete_library(self, library):
          """
          Delete an Arctic Library, and all associated collections in the MongoDB.
  
          Parameters
          ----------
          library : `str`
              The name of the library. e.g. 'library' or 'user.library'
          """
          lib = ArcticLibraryBinding(self, library)
          colname = lib.get_top_level_collection().name
          if not [c for c in lib._db.list_collection_names(False) if re.match(r"^{}([\.].*)?$".format(colname), c)]:
              logger.info('Nothing to delete. Arctic library %s does not exist.' % colname)
          logger.info('Dropping collection: %s' % colname)
          lib._db.drop_collection(colname)
          for coll in lib._db.list_collection_names():
              if coll.startswith(colname + '.'):
                  logger.info('Dropping collection: %s' % coll)
                  lib._db.drop_collection(coll)
          if library in self._library_cache:
              del self._library_cache[library]
              del self._library_cache[lib.get_name()]
  
          self._cache.delete_item_from_key('list_libraries', self._sanitize_lib_name(library))