Recording videos on your phone to share with colleagues/clients? Here’s how to compress them to a reasonable size for sharing with free software on your Mac: https://kevinyank.com/posts/shrink-videos-with-ffmpeg-on-your-mac