Is this enough to update the Fedora Linux wikipedia page, or is it still just "the distribution used by Linus Torvalds, creator of the Linux kernel (as of May 2020)"? It isn't exactly confirmed but ... like what else is he gonna use. I don't know if he'd be caught dead using Debian or Arch, and OpenSUSE would be too wild a choice.