This can be a useful new command line tool: - INPUT: an audio file, some text - OUTPUT: list of time instants when that text might be in the audio file