The original edited image by Photos was 2048x1365. I used Gigapixel to enlarge it to 8192x5460 i.e. 4 times. Then I ran it through DeNoise and then Sharpen.
