nixos-manual: Fix reference to obsolete configuration option