> It's likely the only thing everyone can agree is Linux is whatever Linus has on his machine.

What if he has more than one computer and doesn't have the same setup on all of them?