VideoToPdf. A simple utility to extract slides from a video and merge them to a pdf. I made this for my university class.