Original: It was soon posted on the sci.
Simplified: The name "RC4" is trademarked, however.