Option to use owner_ssh key for download_file
Option to use owner_ssh key for download_file

To use in extreme cases, like downloading the key of a failed master server to set it up for Github's builder-private repository

elifesciences/builder,elifesciences/builder