"I would imagine that's a very common situation, isn't it, particularly given that there are (I think) still a lot of "63A" RCDs around."
Yes indeed, quite common,
We do not need to add up the ratings of our fuses/breakers etc but can apply diverity on circuits dependant an maximum possible...