So V7 is casually exchanged to V7(-5)?
Basically yes. But as the note Re♭ prompts resolution to Do, I think it’s good to make it progress to the I chord.
One extra note: For melody you should avoid using natural Re as it conflicts with Re♭, but Ditto is a rare case where the melody sometimes hits Re while the chord plays Re♭, for whatever reason, maybe to keep the melody line natural.
