They might also want to keep this year's cap space open, instead of tying it into Martin. Or they went ahead and picked up the option, before Martin pulls off a "Martin recruits A level free agent, in exchange for releasing him out his contract to sign with Dallas" lol
