Does Casey Muratori allow to download his videos? (with yt-dlp)

It's fine. Better quality videos (but larger files) are available: https://hero.handmade.network/forums/code-discussion/t/3242-downloading_videos_using_resilio_sync_formerly_bittorrent_sync

Thank you very much :)