A WordPress plugin for adding HTML5 video backgrounds