Thanks, and welcome to woodworking on steem. Yes, those are just gif files. I used an app called imgplay to convert from video. Unfortunately, if the files are too big, they really bog down the browser, so only a few seconds at a time.