If the rest of the NFL does not think Myers is worth more than a 1-year, $3.5M deal (incredibly, even less than McDuffie & Stokes got), then I'd say his departure = addition by subtraction.
Got to think that an OL starting 5 WITH Banks and WITHOUT Myers will be an upgrade in 2025.