update-channel-branches.sh: Add verbosity to improve the user experience, and update NixOS documentation.