Here [1] is an example of the videos, the player has a handy search feature and links to video parts.
update: It would be great to have a way to take your own notes, any chrome extension that can help with that ?
[1] https://ox.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=ff9...