... unless one of them doesn't trip when it should, because it's faulty - in which case it wouldn't need to be reset!Not really. You just have 2 to reset in the event of a fault.
So long as one RCD is working satisfactorily, there is nothing to be gained by adding a second, and it can introduce the (very slight) inconvenience you mention. However, for those who recognise that RCDs can become faulty (and hence not trip when they should) there's absolutely nothing wrong with the concept of having a second ('redundant') one, to address the issue of possible RCD malfunction (non-function!).
Kind Regards, John