No downloading of octet streams

When there are many files in a Google Drive, trying to download all
octet streams takes too much time. The UI should instead provide
functionality for converting individual adventures.
Manual file recovery option

This is instead of downloading all octet streams from the user's Google
Drive, which can take a long time.
UI text