docs: def filepull(maildir, localmaildir, noop=False, verbose=False, filterfile=None):
      """Pull one local maildir into another.
  
      The source need not be an md folder (it need not have a store). In
      this case filepull is kind of an import.
      """
      store = _Store(maildir)
      _pull(store, localmaildir, noop, verbose, filterfile)