https://stackoverflow.com/questions/6114004/add-file-extension-to-files-with-bash
Anonymous
Silence is golden.
