: No, but actually someone mentioned about the Flash last year, saying
: "HTML5 is increasingly preferred over flash player these days, partly
: due to the atrocious security and relatively poor performance of the
: latter". Possibly I should give it some thought. But another option
: is to just embed the YouTube versions from my channel (I didn't have a
: channel originally). Louis produces the Flash versions. I'm not sure what
: would be involved in turning them into HTML5 video.

Depends on what your workflow is for the videos. Generally HTML5 is just using MP4s in a HTML video tag so it's probably *easier* to make them. Chrome is starting to block Flash by default and mobile usually doesn't use them at all, so HTML is definitely a better bet. As you say, though, you can also just use the Youtube versions which will handle whichever device gets thrown at them.