Are all Linux distros actually GNU/Linux? (I don't think this is true, actually) ;) ——— no