Hey jq_rospa,
I don't know which tool RedViperPT used, but I have had good experiences with Upscayl. (https://upscayl.org/) It is free and Opensorce.
There are not many settings and you can quickly try out the different upscale models to find the right one for the picture type.
Then you can edit all the images in batch processing.
I hope I was able to help you with this.