This reply is pretty late but GoPro has their own software for doing some minor stuff to their footage https://gopro.com/software-app/gopro-studio-edit-software
It has the option to de-fisheye and since it’s their software they know the exact amount of distortion to apply so its a checkmark that is applied and then you can export the footage.