https://stackoverflow.com/questions/6114004/add-file-extension-to-files-with-bash
Anonymous
Build a prototype as soon as possible.
