> It would be awesome for the users to have the choice, actually. ,-) It could be useful only in limited number of cases I think, and neither Debian, Gentoo nor Arch do it, from what I can see.
(Gentoo provides the choice, but they can't co-exist, and switching requires rebuilding many packages.) The idea was proposed in Debian (https://lists.debian.org/debian-devel/2014/07/msg01010.html and https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=729203, but it was rejected in the end. I didn't read the whole thread, but it seems the reason was it would be more work for the security team to keep up with both.
