Linux was almost called Freax, and someone renamed it without asking Linus XDA