Include the downloadRedcap function in the export