Re: [PATCH 2/5] docs: fix repeated word 'that' across documentation

Adrien Reynard [off-list ref] wrote:

-  three states, we know that that CPU has exited any previous RCU

This is arguably correct.  The two 'that' words are functionally different.
If you look at another language, say Hungarian, they are different words
(e.g. 'hogy' vs 'az').

David