Well, use the output size specified by your image editing software.
An interesting question (and artistic decision) is whether and when to retain the visible distortion.
I’ve made it a habit to activate distortion correction in the camera. Depending on the subject, I decide later in post-processing whether to allow a certain amount of distortion (or vignetting) in the image.
