
This reverts commit a889c683ddd333dde80c52c722095426233a482f. Sorry, I pushed to the wrong branch. :-(
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.