I noticed that post too. If I understand correctly he only had one year of eligibility at Utah, so this declaration is expected. He’s a nice young man and we wish him luck in the next steps of pursuing his goal of reaching the NFL.
Battle actually played five full college seasons, four at Ole Miss and one at Utah. He got the free Covid year which he used to play at Utah. As you say, he’s used up all of his college playing eligibility.