I tried changing one of my Flash animations to a different format, but I got an error message saying that the replacement file has to have the same extension as the current one, so it looks like the only way those old animations can be played is by enabling Flash. Sorry to be the bearer of bad news. :(
Thank you very much for the comment!
Unfortunately, all the Flash animations I uploaded here are still in the Flash format. I guess I'll have to convert them to standard video files in order for them to be playable now (thanks for alerting me to this -- I didn't realize that Flash videos now don't work here).
Thank you! It took a while to plan and put together, but I still had fun making it.