@alerque @archlinuxfr Thanks for the info. Did not try it since my old 2008 MacBook has had some problems with some kernel updates (around 4.8). Hence I stuck with Debian online, and got Arch on desktop. Too late for my current servers. Next one, maybe.