Sun Sep 10 20:04:49 EDT 2017
system vs. user
Probably good to separate system vs. user programs, since nix also
works on other systems.
Assuming that later it is possible to move things around and factor
them out, let's not do that for now.