Image renaming functionality on upload.

Hi,

I found that Grav has image resizing functionality built in and that it also generates smaller sizes from the original image. What I'd like to do is to rename automatically the images from `image.jpeg` to `image@5x.jpeg`, choosing the suffix from the Page Media Image Resizer in the Admin. That way it would not be necessary to install a specific plugin for managing images, because that suffix would tell Grav to generate all the smaller versions already.

I tried to find where in the code is the plugin doing the resizing on upload (because that seems to be the right moment to rename the file), but I couldn't find it. I appreciate any help in developing this "add-on" to this great plugin.


Thanks!