>>1009816Try https://docs.blender.org/manual/en/latest/compositing/types/transform/lens_distortion.html maybe?
It kinda sucks that it just manipulates the input image, well, as a compositor should I guess, but the distortion will just be upscaled so you'd have to render at at least 2x the resolution or worse.