the users are collectively not happy with the choices their representatives are making. Especially when this choice compromises the GPL itself (Non-free softwar

the users are collectively not happy with the choices their representatives are making. Especially when this choice compromises the GPL itself (Non-free software/modules/derivatives communicating over RPC to GPL'd libraries via systemd is a violation of the license), and GNU principles. I have high hopes for Devuan and other non-systemd distros, but I never discount the docility of linux users en masse, and hold the opinion that once systemd got into debian, it would never get out again. I am personally running a systemd-free arch linux install, and am switching all my machines to either Gentoo or OpenBSD, depending on use, in order to avoid systemd (or NetworkManager, or PulseAudio) being installed. I'm a tad more militant than most, though.