redcap get filename

(redcap-get-filename header)

redcap-get-filename gets the filename (as it is on REDCap) from the header that is the first item of the list returned by (redcap-export-file). The response is either a string, when the filename is successfully found, or #f if no filename is found in the header.