Hi Michael,
Based on the comment from matteoraggi, I tried making the settings in Safari 5.1.5. It works. I’d been using Firefox 12.0 when making my earlier comments.
To answer your question, when using Firefox 12.0, I did not try checking one file, but checking just one directory did not work.
Thanks for your attention.