Summary: PeppermintOS without systemd has more seeders than the "default" or the standard edition of the GNU/Linux distro; maybe they should consider making Devuan the default base system
"[t]he rules of the vote saw community members asked to rank each of the eight proposals. Just under 600 people voted, but Debian’s election team rejected many for unspecified reasons, leaving almost 450 valid votes to count."