This was another busy week in the Linux ecosystem, with the arrival of new Raspberry Pi hardware, a Linux Mint release, a premium Linux laptop from Slimbook, and much more. These are the biggest ...