Would be nice if planet download would output the local filenames for the downloaded files so that the output can be pipes to other commands