> 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