
Primarily to fix rendering of these default values in the manual but it's also nice to avoid having to eval these things just to build the manual.
*** 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.