Useful plug-ins for video-js players, including url timestamps, and multiple video sources