hidden in the height number is arm length. It's the difference between nearly getting there and getting there, or swiping at the ball and batting it out of the QBs hand.
Valid and interesting point. I decided to see if I could find his arm length.
It's 33.75 inches.
https://nflcombineresults.com/playerpage.php?i=27210Then I decided to see if I could find the average arm length for NFL Edge rushers.
It's 33.53 inches.
https://www.mockdraftable.com/positions?position=EDGENot long, but not short. Just a tad longer than average.