✓ Video Converter (mkv to mp4, mov to mp4, ...) ✓ PDF Tools (compress pdf, merge pdf, unlock pdf, webpage to pdf) ✓ OCR Tool (optical character recognition) You can use Google Drive or Dropbox: start a conversion, leave the app and just wait until the files appears in ...