The covid year just means it doesn't count against your eligibility - it doesn't count either as a redshirt or as a year of eligibility. The baseline eligibility rules are the same - 5 years to use 4 years of eligibility (with certain exceptions for a medical redshirt - no applicable for Majors). Covid year just means that year did not count for anybody for any purpose (doesn't count against one of the 4 years of playing and doesn't count as a redshirt year). Majors "redshirted" in 2020 in the sense that he did not play. Because 2020 was the covid year, that "redshirt" year did not count against him, so he retained his redshirt year. He just ended up not using it. Had Majors played in 2020 and sat out any of 2021, 2022, 2023, or 2024, then the year he played in 2020 would not count (covid year) and he'd be eligible to play next year. But that isn't what happened, so he's out of eligibility after this season.