Gus,
Many thanks for your input. Do we know what Linux distributions are used by core devs?
They are most likely using Debian, Ubuntu, Fedora or Arch Linux.
Everyone have their prefer distro. Everyone in my company uses Linux, but all of us use different distro.
I have used many distro before, and now I prefer Arch Linux. But before that I was using Slackware, Gentoo, Fedora, Debian and Ubuntu.