Brian Mitchell HOF?

Optimus Prime said
no and no

one of the comments to the article was "always very good, never elite" which may or may not describe Brian Mitchell but definitely describes some already in the Hall of Fame

Yep, and he was about as elite as you can get for a special teamer. There are only a handful off the top of my head you can really say that about.

From Wiki:

NFL records

Most career kickoff return yards: 14,014

Most career punt return yards: 4,999

Most career total return yards: 19,013

He is currently second on the NFL's all-time list in all-purpose yardage with 23,330 yards, behind Jerry Rice. He is also first all-time for combined yardage for a non-wide receiver. His 13 special teams touchdowns are second in NFL history, behind Devin Hester, and his nine punt return touchdowns are third behind Eric Metcalf with 10, and Hester with 14. Mitchell was ranked the second greatest specialist in NFL history by NFL Network's NFL Top 10 Return Aces.