As far as I could tell, just using the fbo pixels always gives an upside down image. I checked the codebase, and this method only seemed to be used for this one thing, so I thought it might be better to return a flipped image - but I couldn't find a way except to use an fbo like this.

This method actually just copys the __get__ method of TextureRegion, which already does precisely this flipping operation.