Seafile (https://www.seafile.com/en/home/) download/upload utilities. API was taken from https://github.com/seafile-data/seafile-web-api-manual.