Super replaceable. Linus Torvalds often says in addition to doing this for fun as I do, that he’s been taking credit for all the things that he didn’t do himself. He maintains the Linux kernel, of course, but most of the work in Linux is not done by Linus Torvalds. It just so happens that the name is called Linux and so everybody thinks of Linus Torvalds.