> > 1)  How does one delete an unwanted file or page,
> so
> > that it will not be redownloaded?  I know about
> > checking the option field.
> 
> Delete the file with the GUI and check options ->
> Log -> Do not re-download locally erased files.
> 
> or
> 
> Add an appropriate filter and uncheck options ->
> Build -> Do not purge old files and update the
> mirror

How do you apply the appropriate filter? I have found the Do not purge old
files but cannot find how to apply a filter.