Hi DrTech. I just used convertio.co to convert the MP4 video I created from your Flash swf to an WebM video. Interesting reduction re the filesize: