I honestly doubt City haven't got options lined up if Nunes is sold or loaned out.
Pep is happy with our squad, but has cautioned we could feasibly play 70+ games this season, so with that being said, I agree we'll need reinforcements.
However, it has to be players who're pushing for a starting place, not squad fillers getting 5 minute run outs in games we've all but won & playing in dead rubber Carabao Cup & CL League games once progression to the knockout rounds has been assured.
Nunes is better than that & City need more than that from a senior player. Pep's had a season to assess Nunes & still doesn't seem to fancy him. I think it's best all round that Matheus moves on, & the same applies to Manchester City.
There's no shame in us getting a player's suitability wrong. Eeez football.
In terms of replacements, we apparently still hold a strong interest in Ezé for around £60m, who's also association trained. He'd be far more useful to us for a difficult season ahead than Nunes being sat on the bench going nowhere fast, plus we also have Echeverri due in January, albeit he's untested at City's level.