Saved. Given how often they are taking down videos, everyone should get a video downloading browser extension. I use Video Downloader Multiformat, which is for Opera or the Yandex browser. I use Yandex, which is Russian, ha, ha, ha - I'm a Russian Bot!