That's not the letter of the law anymore as far as I'm aware.
You’re right. Rule now guide that for a DOGSO penalty decision it is not a red card if there is a genuine attempt to play the ball (in the ref’s opinion).
It was brought in to stop the idea of a triple punishment for teams in that situation. Penalty, red card, and most likely a goal conceded too.
That's only straight red cards, no? This would have still been a yellow (his 2nd)