@Thadeu Lima de Souza Cascardo That was an extremely thoughtful post, thank you!

About GuixSD on phones, maybe less crazy than one might think. It might even serve as a nice way to build applications for other OS'es; one of the Nix developers has done this for reproducible builds for Android and for OSX.