added link to nix paper and the manual