Great!

This plugin does exactly what is expected: it replaces the image in the media library, nothing more to do.
A regret: it would require an option to also replace the others size of thumbnails.