And Linus Torvalds[1] originally pronounced it with a bit more ee and oo (almost lee-nooks) than he does now[2] (lih'-nucks).
[1] https://youtu.be/uK0xXFZtJ8Q
[2] https://youtu.be/5IfHm6R5le0
And gnu and gnome and Debian and nginx and SQL and GIF and ...
The industry is full of made-up words with non-obvious or disputed pronunciations.