eacd1b75dc
It seems as the sentence at the bottom of the option summary about Nix-specific options isn't enough, it's probably more helpful to list those options in the synopsis as well.
*** 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.