AFAIK, there’s still a difference between ceasing minting more pennies and trying to force them out of circulation.
Pennies like all coins have to be replaced due to damage.
No minting is no circulation that’s the goal.