it is interesting that i've not seen a setting in raw editors to correct for lens distortion -> crop -> add lens distortion back with the same parameters used to correct it
i think lens distortion can look really good in some cases, but cropping kinda ruins the effect..