No, they aren’t original, but various space, scenic or abstract videos from Youtube. Here are some examples:
I use AnyVideoConverter (free) to download and process the videos. It will create AVIs, MP4s, GIFs and other formats and can resize/
Of course the resolution is limited on a 32x64 display and with GIFs it’s limited to 256 colors (8 bit). But the result is surprisingly good.
These are fun. I’m going to try using a series of BMP picture files for 24 bit color. 
Stan