Better function name
Better function name

"Download" is more consistent terminology in the context of the
`<DownloadButton>` component. This change probably should have
also been included in 48e6d399258b3db54a1d44548ff62d6c61dade22

jstrait/jssynth,jstrait/jssynth