Merge "Clarify details in docs for binderDied()" into main