I am with the iOS app, and when I pull down the screen, it is written “Pull to Refresh”. It’s only refreshing the files list and not updating the files which have already been downloaded then ?
Update : I just tried and the iOS app and pulling down the screen really trigger an update. Because it really recognizes the updated file (and delete the previously downloaded file without downloading the new one)