Videofile conversion
It’s time, to bring the embedded video files up to code again.
As FLV seems not to be well-embeddable these days, I decided
to re-encode all previously embedded files to MP4 and have them
played back with a more modern MP4 video player based upon HTML5.