Old site with “retina” jpgs

Hi there,
I’m updating an old WordPress site, with a really old theme, which was developed in the days when it was a thing to add support for “retina” screens by appending “@2x” to the filenames of .JPGs.

(This has now been superseded by WordPress’ support for the src attribute.)

So I have a whole load of files that look like:

[email protected]
[email protected]
[email protected]

…etc., which will all need to be redirected after the facelift.

Will Redirection allow the use of the “@” character in the source? I’d like to map them all to:

filenameone.jpg
filenametwo.jpg
filenamethree.jpg

Can anyone think of anything else I need to be aware of on this?

Thanks for the great plugin. (Just realised that I hadn’t written a review, so I fixed that and pressed the donate button.)