"For 30 Years, WWE and its Superstars have created a pantheon of iconic WrestleMania moments that are immortalized forever in history- but only one man can lay claim to the nickname “Mr. WrestleMania”, Shawn Michaels."
"Whether giving Undertaker all he could handle in a quest to break the streak, revolutionizing the business in a Ladder Match with Razor Ramon, or descending from the rafters for an exhausting 60-minute Iron Man Match with Bret Hart, Shawn Michaels always accomplished his one goal at WrestleMania. That goal was to steal the show."
As seen above, the synopsis is touting "all 17" of HBK's iconic WrestleMania matches so it appears that the triple threat match against Triple H and Chris Benoit will also be included or this is just a mistake.