Good catch! But I think the jagged edges there result from an arbitrary clipping of the brightness values, done to remove the "noise" pixels, i.e. to make the s

Good catch! But I think the jagged edges there result from an arbitrary clipping of the brightness values, done to remove the "noise" pixels, i.e. to make the space look darker. If that's the case, it isn't the resolution that's to blame - just a post-processing (for public release) issue.