Jup, im Dateinamen steht: upscayl_4x_realesrgan-x4plus
Genau das Modell ist auch bei Automatic1111 enthalten. Ich finde den Workflow, direkt zu generieren und anschließend upzuscalen in einem Programm bequemer.
KI-Programme, zumindest Automatic1111, haben meistens diverse Upscaler inkludiert. mit Stable Cascade kann man aber auch direkt recht große Bilder erstellen.