Are all Linux distros actually GNU/Linux? (I don't think this is true, actually) ;) ——— I don't know. hope everyone is okay.