After looking at Dropbox, I picked Google Drive for its direct download. VLC found the local files with no effort. I didn't pursue Android File Transfer because I don't happen to be able to port from USB-C (Nexus 5x) to any other flavor of USB—at least not without shlepping out to an electronics store only to find it closed at this hour.