Yeah, it was said at the time of his transfer that he had two years of eligibility left.
I actually haven't been 100% clear on how he gets the extra, but obviously he will have only played three years at the end of this season. My understanding of the COVID extension is that it is for players whose 2020-21 seasons were affected by the COVID shortening. But he was out with injury for the entire season, so is he considered affected?
This JOC article mentions both a medical redshirt and the COVID bonus year, so it's still a bit fuzzy.
Regardless, however it played out he's apparently getting 6 years to play 4.