I've finally met with all the freshmen groups now, and out of 92 students only 3 use Linux. It is either one person per group or zero.
One uses Arch, another uses Linux Mint, and the third one uses Debian because he thinks that Arch always breaks when you update packages.
And here I am, telling ~80 people about what a terminal is.