This will sound like a simple question to most of you, but
how do I change the file extension of an existing file?
For instance, the file now ends in .vbk and I would like
it to end in .vcd so I can recover a back up file. Help.