[junkerm]

How do you change a file name in the built-in directory browser of a text editor? Well, just edit the text!