Oops.

"You can also use Paste (Ctl-V) to put a new filename on a file..."

(I didn't have anyplace to copy from and paste, hence the typo.)

I should note, that above references to "click on a file" mean click on the filename end of the file entry in Explorer. Since clicking on the filename after the file has been selected will open the filename edit function, it's a good idea to practice clicking specifically on the icon at the end of the file entry rather than just "anywhere close" if you really mean just to select that file. Clicking twice on the icon doesn't do much of anything, unless it's quick enough to look like a double-click.

John