If your files are named filename.filedot , adjust the script to replace .filedot with an empty string.
: These are typically high-resolution images or video sets (MKV/RAR) that are too large for standard social media hosting. Prefeitura de Aracaju 3. Archived Documents & Media filedot to files