GitHub repository: 65440-2023/video-subtitles-2014
Description: Subtitles for lecture videos recorded in 2014; PR fixes welcome!