@Sweetshark yes, many years ago, I did contributor statistics of Libreoffice (I believe they made it even on the webpage at some point), clustering them by contributing organization, and I recall these names vividly.