and that's great because, unlike windows, it just changes the file name. Not the extension unless you actually move to the extension yourself.