Quote
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=27210

Then 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=EDGE

Not long, but not short. Just a tad longer than average.