Naming files and directories that contain Web documents