Well, I’ve used trademarks zillions of times in formal documentation and all I’ve ever done per guidance is add a footnote that e.g. “Teflon is a registered trademark of E. I. du Pont de Nemours and Company.” duPont probably prefers that over using the generic PTFE.
Now, an event like “Super Bowl” is different I guess in that you really can’t use the term willy nilly even with a clarification.
Bottom line, I really couldn’t give a crap about the “Big Game” - it’s about as interesting and overblown as the SOTU (TM).
What was the intended audience for the documentation? What was the purpose of the documentation? Usage matters in these things. If you’re in the news business you can use trademarked stuff as part of stories with no problem at all. If you’re writing instructions for how to do something acknowledging the trademarks is more than enough. But these kind of public parties are functionally advertising, things get much tighter when your wanting to use somebody else’s trademark to advertise your thing, because you’re trying to profit off their trademark at that point, and that’s when you and they need to come to an agreement.