The Nix user manual demo