Some may find that useful but the video player used here (as with the one used for lectures at my university) supports far more relevant features such as browsing by slides and changing the layout of simultaneous video streams.

Like vinay427 said, I like the player here.