I think the 4th line next season will be Pavel - Foudy - O'Connor if the Avs are looking to go cheap. 3rd defense pairing might also be Jones - Malinski who only see 12-14 minutes per night. Prosvetov will likely return as the backup as well for 1M or less.
Johansen I think is getting bought out, while Manson gets traded attached to a draft pick for nothing in return and Girard is moved for futures.
You still IMO have to move a guy like Nichushkin. Though I could see the Avs moving Lehkonen and saying Kovalenko will do what he does for 1/4 the price.
It all sounds reasonable to me. The RyJo buyout would be a tough pill.. that's $2m against the cap for 2 years, but on the flip, they likely to have to spend assets to drop Manson too.
I'd guess they'd try to find another vet like Cogs for the 4th line, but as the season progresses both Pavel and Foudy likely get runs. I'd expect LOC on the 3rd line though. I don't see how the Avs really escape that. If they keep all the wings and health permits, maybe.. but two fairly large ifs.
Nuke is probably the best candidate to move out of the bigger contracts. He's injured a good amount, his a prime risk for regression, but he's still enough of a name and stats guy that you can get something out of him... the problem is though, he has a full NMC until July 2025. That could complicate things a lot. Whereas Lehky's NTC opens up this summer to 19 teams.
No matter what though, there is going to have to be a few moves to even ice a roster. To improve with a decently paid player, there might have to be 4+ moves.