@evildictaitor:maybe they should change the shell so that the extension part of the file can never be modified as part of a file rename, and add a separate command to handle extensions, tricky