Some improvements of the nix-tool help texts