Please don't change it. It's not duplication, but the right substitution that I'm searching for.
I have intentionally repeated a common letter, when I'm clueless and waiting for the "aha" moment, such as typing "the the the" to see what works. And when I'm frustrated and hit keys at random:
I don't need to see pink, as I'm seeing red.