[Smush Pro] Media File Rename in Smush

It would be nice to re-write file names after being optimized in Smush. There are paid plugins that have this feature with 60,000+ active intallations. You could bring them over to Smush!