Hi Esseff,
I've played with the lens correction tool on clips from several GoPro cameras over the years.
Generally from the 'Fix/Enhance' menu.
You have the option of many profiles for GoPro.
I've found mixed results with them.
Some profiles seem to over compensate for vignetting and 'Blow out' any detail in the sky in the upper corners.
I played with profiles written for other cameras, and often found I liked the 'Rollei' (7S methinks) profile the best !
(I had read up somewhere that it was a close fit before the myriad of GoPro profiles were made available for download.)
So the advice I would offer would be to load your clip, then apply the lens correction profile you like the most - and don't be too fixed on them being for the 'Correct' GoPro model.
Try out a bunch of them - it only takes a couple of minutes to scroll through many options.
I'm sure you'll find a profile that works for you.
Gerry