If you’ve used the GNU wget utility, you know that often when wget downloads files, it saves files with odd file names. Sometimes these are long garbled filenames or the…