Considering his ceiling, $13 million for a one year prove it deal is actually pretty reasonable. That's what Davenport and Granderson made last season. Right around 25th in '24 season salary for edge rushers.
And I've been a critic of his since his second season with the Commanders. He actually had a decent rookie season, but hasn't really lived up to the hype since.