Over the past few months I have been making some improvements to the website. The first update was a new responsive theme that works better on mobile devices. The second update was upgrading to PHP7 and configuring SSL. Now, I have gone back through years of posts and replaced (almost) all of the Flash video content with a HTML5 video player. A lot of the videos were already in a supported format, so the flash based video player was just swapped out. Other videos were replaced with Youtube embeds, while others were re-encoded and re-uploaded. The main goal for this was to get the site fully functional on mobile, plus Adobe is ending Flash support in 2020. Please let me know if you run into any issues.