My top is VideDuke. With it you can download videos almost everywhere. The downside is that the first two videos are free, and therefore paid. https://www.video-downloader-mac.com/vimeo-downloader/